Similar repositories to neel-krishnaswami/inverse-bidirectional-typechecking:
neel-krishnaswami/inverse-bidirectional-typechecking
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
RobertHarper/hott-notes
github
similar
neel-krishnaswami/linearml
github
similar
groupoid/anders
github
similar
roc-lang/roc
github
similar
effectfully/Cubes
github
similar
julianhyde/morel
github
similar
samskivert/compose
github
similar
soren-n/bidi-higher-rank-poly
github
similar
Blaisorblade/dot-iris
github
similar
yforster/coq-synthetic-computability
github
similar
sarsko/CreuSAT
github
similar
Twey/agda-imp
github
similar
tlringer/ml-for-proofs
github
similar
wezm/rsspls
github
similar
smlnj/smlnj
github
similar
ralsei/six-eyes
github
similar
tweag/awesome-learning-haskell
github
similar
toeverything/AFFiNE
github
similar
oxalica/nil
github
similar
tootsuite/mastodon
github
similar
tuvtran/project-based-learning
github
similar
ronami/HypeScript
github
similar
superfly/litefs
github
similar
pixijs/pixi.js
github
similar
Soldat/soldat
github
similar
ziman/itt-idris
github
similar
plum-umd/cgc
github
similar
inanna-malick/hgit
github
similar
prathyvsh/history-of-lambda-calculus
github
similar
ak3n/abt-zoo
github
similar
JoeyEremondi/lambda-pi-constraint
github
similar
webyrd/curnelo
github
similar
ecavallo/ptt
github
similar
TOTBWF/muprl
github
similar
samuela/bidirectional-typing
github
similar
jespercockx/popl19-tutorial
github
similar
JohnReppy/compiling-pattern-guards
github
similar