Projects

Katydid: validation language for serialized data

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
README.md		README.md
amazon-music.svg		amazon-music.svg
apple.svg		apple.svg
bartiferr.jpg		bartiferr.jpg
category_theory_for_programmers.jpg		category_theory_for_programmers.jpg
cohost.jpg		cohost.jpg
coq.svg		coq.svg
coq_art.jpeg		coq_art.jpeg
coq_in_a_hurry.png		coq_in_a_hurry.png
cymbals.jpg		cymbals.jpg
deezer.svg		deezer.svg
erlang.svg		erlang.svg
fewandfarbetween.png		fewandfarbetween.png
fixitfelix.jpg		fixitfelix.jpg
github.svg		github.svg
go.svg		go.svg
goderive.jpg		goderive.jpg
gogo.png		gogo.png
graphviz.png		graphviz.png
haskell.svg		haskell.svg
katydid.svg		katydid.svg
katydid_floor.svg		katydid_floor.svg
katydid_rect.svg		katydid_rect.svg
lean.svg		lean.svg
linkedin.svg		linkedin.svg
mastadon.svg		mastadon.svg
medium.svg		medium.svg
omteneurie.jpg		omteneurie.jpg
pdf.svg		pdf.svg
postpost.jpeg		postpost.jpeg
slides.svg		slides.svg
smiley.png		smiley.png
soundcloud.svg		soundcloud.svg
spotify.svg		spotify.svg
superwillow.png		superwillow.png
the_little_typer.jpeg		the_little_typer.jpeg
the_reasoned_schemer.jpg		the_reasoned_schemer.jpg
threads.png		threads.png
tidal.svg		tidal.svg
twitch.svg		twitch.svg
twitter.svg		twitter.svg
youtube-music.svg		youtube-music.svg
youtube.svg		youtube.svg