Similar repositories to arianvp/types-and-statemachines:
arianvp/types-and-statemachines
github
similar
uelis/modular
github
similar
yurrriq/the-power-of-pi
github
similar
gergoerdi/system-f-agda
github
similar
AHartNtkn/Kitmit
github
similar
barras/abstract-machines
github
similar
asajeffrey/finite-dtypes
github
similar
ak3n/system-f-pop
github
similar
emarzion/Linear-Logic-Proof-Assistant
github
similar
RyanGlScott/levitation
github
similar
bitonic/kant
github
similar
michaelt/structured-graphs
github
similar
yurrriq/idris-logic
github
similar
ollef/region
github
similar
SimonJF/IdrisNet
github
similar
AHartNtkn/IotaTT
github
similar
yannham/visual-goi
github
similar
RedPRL/sml-final-pretty-printer
github
similar
pfnet-research/pml
github
similar
ayberkt/Mini-TT
github
similar
sto0pkid/CategoryTheory
github
similar
gergoerdi/syntactic-stlc
github
similar
gallais/idris-tmustache
github
similar
ezhulenev/hyperloglogplus
github
similar
dmurfet/polysemantics
github
similar
srdqty/talc-3.0
github
similar
A1kmm/http4idris
github
similar
nmvdw/Three-HITs
github
similar
ak3n/abt-zoo
github
similar
benjaminselfridge/propcheck
github
similar
jonsterling/lcf-sequent-calculus-example
github
similar
jameshaydon/idris-graphql
github
similar
xu-hao/QueryArrow
github
similar
dorchard/effectful-explanations-talk
github
similar
msullivan/typecoin
github
similar
effectfully/Cubes
github
similar
agda/ooAgda
github
similar
benjaminselfridge/logix
github
similar
robrix/freer-cofreer
github
similar
msp-strath/platypus
github
similar