Similar repositories to technogeeky/pi-eta-epsilon:
technogeeky/pi-eta-epsilon
github
similar
dreixel/regular-extras
github
similar
ia0/GhcKindsExamples
github
similar
sjoerdvisscher/unfoldable
github
similar
joelburget/Cologne
github
similar
dreixel/regular
github
similar
dreixel/instant-generics
github
similar
sjoerdvisscher/algebraic-classes
github
similar
alistra/data-structure-inferrer
github
similar
ekmett/multipass
github
similar
alpmestan/kmeans-vector
github
similar
ekmett/physics
github
similar
kosmikus/indexed
github
similar
sjoerdvisscher/HueAPI
github
similar
technogeeky/icfp12-paper-links
github
similar
kosmikus/multirec
github
similar
pcapriotti/pipes-core
github
similar
dmwit/pi-eta-epsilon
github
similar
ekmett/lca
github
similar
dreixel/generic-deriving
github
similar
sebastiaanvisser/fclabels
github
similar
ekmett/constraints
github
similar
rampion/constraint-unions
github
similar
MedeaMelana/Magic
github
similar
ekmett/bound
github
similar
UnkindPartition/regex-applicative
github
similar
simhu/cubical
github
similar
visi-lang/visi
github
similar
conal/lambda-ccc
github
similar
VinylRecords/Vinyl
github
similar
dmbarbour/Sirea
github
similar
ekmett/ad
github
similar
matijapretnar/eff
github
similar
HoTT/HoTT
github
similar
haskell/cabal
github
similar
ekmett/lens
github
similar
dhall-lang/dhall-lang
github
similar
i-tu/Hasklig
github
similar