Similar repositories to atennapel/tynka:

• bmourad01/ocamlchess github similar
• dorchard/FirstPrelude github similar
• spl/alpha-conversion-is-easy github similar
• cipher1024/lambda-calc github similar
• atennapel/tynka github similar
• LightAndLight/edit-log github similar
• navilan/wabi github similar
• groupoid/anders github similar
• tolziplohu/durin github similar
• mirefek/sokoban.lean github similar
• gergoerdi/hm-compo github similar
• crabbo-rave/Soup github similar
• 5HT/valery github similar
• AliasQli/tactics github similar
• leanprover/doc-gen4 github similar
• JoeyEremondi/pl-lt-rules github similar
• jsinger67/parol github similar
• laMudri/generic-lr github similar
• ufmg-smite/lean-smt github similar
• siddhartha-gadgil/Saturn github similar
• bryal/kvasir github similar
• fan-tom/liquid-rust github similar
• ralsei/six-eyes github similar
• sweirich/graded-haskell github similar
• LPTK/simpler-sub github similar
• leanprover/functional_programming_in_lean github similar
• atennapel/tinka-hs github similar
• soren-n/bidi-higher-rank-poly github similar
• liquid-rust/flux github similar
• kanaka/instacheck github similar
• bitonic/tog github similar
• lanl/APPFL github similar
• umazalakain/typing-linear-pi github similar
• videolang/interactive-syntax github similar
• leanprover/LeanInk github similar
• dwrensha/lean4-maze github similar
• RedPRL/stagedtt github similar
• mhuisi/lean4-cli github similar
• boyland/sasylf github similar
• andreypopp/type-systems github similar