Similar repositories to barrucadu/quickie:
barrucadu/quickie
github
similar
gibiansky/IHaskell
github
similar
matthieubulte/sequent
github
similar
tootsuite/mastodon
github
similar
danistefanovic/build-your-own-x
github
similar
shaunlebron/parinfer
github
similar
jrraymond/ltl
github
similar
danielbarter/xComputer
github
similar
andrewthad/serpentine
github
similar
subpl/truth-tables
github
similar
sheyll/newtype-zoo
github
similar
yav/haskell-zipper
github
similar
fpco/mutable-containers
github
similar
lastland/WebSpec
github
similar
ndmitchell/hexml
github
similar
twanvl/ttie
github
similar
jaseemabid/lisper
github
similar
pigworker/Frank
github
similar
i-am-tom/dagless
github
similar
ocharles/transformers-eff
github
similar
sdiehl/paris-fp
github
similar
langston-barrett/CoverTranslator
github
similar
bobatkey/foveran
github
similar
danelahman/haskell-coop
github
similar
RobertHarper/hott-notes
github
similar
csgordon/cayenne
github
similar
langston-barrett/coq-big-o
github
similar
jtobin/deanie
github
similar
sdiehl/stephendiehl.com
github
similar
andreasabel/strong-normalization
github
similar
cstrahan/wiwinwln
github
similar
leftaroundabout/manifolds
github
similar
gallais/parseque
github
similar
wyager/HaSKI
github
similar
dbp/howtoproveacompiler
github
similar
fmthoma/ascii-art-to-unicode
github
similar
david-christiansen/pudding-old
github
similar
treeowl/sort-traversable
github
similar
aherrmann/simply_llvm
github
similar
tibbe/ekg-core
github
similar