Similar repositories to nybble41/effects-parser:
nybble41/effects-parser
github
similar
dreixel/instant-generics
github
similar
sjoerdvisscher/fmlist
github
similar
archambaultv/sexpresso
github
similar
sjoerdvisscher/effects
github
similar
sjoerdvisscher/blog
github
similar
technogeeky/icfp12-paper-links
github
similar
effectfully/STLC
github
similar
sjoerdvisscher/free-functors
github
similar
JonathanLorimer/core-warn
github
similar
dreixel/generic-deriving
github
similar
ekmett/contravariant
github
similar
sjoerdvisscher/one-liner
github
similar
chpatrick/codec
github
similar
Mokosha/Lambency
github
similar
AndrasKovacs/system-f-omega
github
similar
mietek/totally-fp
github
similar
sstucki/system-f-agda
github
similar
pigworker/CS410-14
github
similar
IxpertaSolutions/freer-effects
github
similar
ekmett/constraints
github
similar
jyp/nano-Agda
github
similar
Gabriel439/haskell-in-the-large
github
similar
tweag/linear-types
github
similar
int-index/ether
github
similar
ekmett/parsers
github
similar
haskell-game/dear-imgui.hs
github
similar
andreasabel/miniagda
github
similar
noinia/hgeometry
github
similar
jonsterling/JonPRL
github
similar
ekmett/bound
github
similar
UlfNorell/agda-prelude
github
similar
purescript-contrib/purescript-profunctor-lenses
github
similar
simhu/cubical
github
similar
haskell-streaming/streaming
github
similar
conal/lambda-ccc
github
similar
copumpkin/categories
github
similar
haskell-servant/servant-elm
github
similar
i-am-tom/higgledy
github
similar
awakesecurity/spectacle
github
similar