Similar repositories to jameshaydon/smproc:
jameshaydon/smproc
github
similar
danistefanovic/build-your-own-x
github
similar
jameshaydon/idris-graphql
github
similar
annenkov/trace-monoids
github
similar
groupoid/anders
github
similar
gibiansky/IHaskell
github
similar
pixijs/pixi.js
github
similar
RobertHarper/hott-notes
github
similar
HuwCampbell/idris-lens
github
similar
jonsterling/guarded-theories
github
similar
david-christiansen/derive-all-the-instances
github
similar
A1kmm/http4idris
github
similar
MarcelineVQ/idris2-streaming
github
similar
altaris/opetopy
github
similar
jameshaydon/diff-check
github
similar
jameshaydon/optical-machines
github
similar
ajrouvoet/jvm.agda
github
similar
msp-strath/feet
github
similar
edwinb/idris2-clibs
github
similar
RyanGlScott/levitation
github
similar
tonyxty/grimoire
github
similar
jmars/Records
github
similar
jmitchell/idris-elixir
github
similar
laMudri/generic-lr
github
similar
tonyxty/Collections-DT
github
similar
bmwant/idris-is-awesome.github.io
github
similar
ekmett/make
github
similar
effectfully/Cubes
github
similar
TimRichter/CId
github
similar
jonsterling/agda-stc
github
similar
re-xyr/hina
github
similar
groupoid/homotopy
github
similar
ahmadsalim/desc-n-crunch
github
similar
MarcelineVQ/idris2-elab-deriving
github
similar
atennapel/qtt-ts
github
similar
jonsterling/agda-effectful-forcing
github
similar
edwinb/IdrisApp
github
similar
umazalakain/CoContextualPi
github
similar
ayberkt/sequents
github
similar
pigworker/Totality
github
similar