Similar repositories to john-ml/lambda-calculus:
john-ml/lambda-calculus
github
similar
gibiansky/IHaskell
github
similar
LightAndLight/como
github
similar
hecrj/iced
github
similar
plt-hokusai/Rio
github
similar
plt-hokusai/ahc
github
similar
Twey/agda-imp
github
similar
motemen/gore
github
similar
inanna-malick/hgit
github
similar
LightAndLight/idris-lambda-reflection
github
similar
Event-Structures/event-struct
github
similar
LightAndLight/bide
github
similar
robrix/seq
github
similar
rampion/concrete-kinds
github
similar
spicydonuts/purescript-spectacle-presentation
github
similar
lambdageek/emile
github
similar
asajeffrey/finite-dtypes
github
similar
ollef/incrementalism
github
similar
tynril/torus-flock
github
similar
andrejtokarcik/agda-semantics
github
similar
ancientlanguage/agda-grammar
github
similar
omega12345/RefactorAgda
github
similar
LdBeth/mlpolyr
github
similar
discus-lang/salt-vscode
github
similar
effectfully/proto-tt
github
similar
bitmappergit/Prelude
github
similar
forked-from-1kasper/bravo
github
similar
navilan/wabi
github
similar
aquynh/capstone
github
similar
tootsuite/mastodon
github
similar
postalhq/postal
github
similar
blockstack/stacks
github
similar
danistefanovic/build-your-own-x
github
similar
Eugeny/terminus
github
similar
lehins/MonadicParty2019
github
similar
emilypi/julip
github
similar
ChrisPenner/ffs
github
similar
mstksg/wavelets
github
similar
ubuntu/microk8s
github
similar
juxt/crux
github
similar