Similar repositories to hrb90/purescript-free-group:
hrb90/purescript-free-group
github
similar
danistefanovic/build-your-own-x
github
similar
sergei-romanenko/idris-norm-by-traversals
github
similar
aronisstav/formal-trace-theory
github
similar
sellout/Opt-Check
github
similar
morganthomas/purescript-group
github
similar
ostera/tap-idris
github
similar
mietek/coquand
github
similar
akissinger/pypn
github
similar
paf31/purescript-tropical
github
similar
bamboo/idris-hamt
github
similar
awkure/purescript-birds
github
similar
byorgey/type-matrices
github
similar
jmars/Records
github
similar
yurrriq/idris-logic
github
similar
roglo/coq_real
github
similar
FreeProving/free-proving-code
github
similar
olivierverdier/GeometricAlgebra
github
similar
paf31/purescript-foreign-lens
github
similar
eraserhd/Idris-json
github
similar
ayberkt/Mini-TT
github
similar
rightfold/purescript-substructural
github
similar
justinwoo/purescript-home-run-ball
github
similar
purescript-contrib/purescript-these
github
similar
purescript-hyper/purescript-hyperdrive
github
similar
purescript/purescript-type-equality
github
similar
kritzcreek/okasaki
github
similar
radusw/tagless-free-monix-sample
github
similar
paf31/purescript-safely
github
similar
takanuva/coc
github
similar
hide-kawabata/traf
github
similar
kritzcreek/purescript-matrices
github
similar
paf31/purescript-memoize
github
similar
levjj/esverify-theory
github
similar
jonsterling/coq-guarded-computational-type-theory
github
similar
hypotext/linear-logic
github
similar
rystsov/fast-jepsen
github
similar
Thimoteus/purescript-transformerless
github
similar
kowainik/idris-patricia
github
similar
purescript/purescript-filterable
github
similar