Similar repositories to mb64/simple-lambda-prolog:

• mb64/simple-lambda-prolog github similar
• gibiansky/IHaskell github similar
• sarsko/CreuSAT github similar
• groupoid/anders github similar
• Twey/agda-imp github similar
• tweag/awesome-learning-haskell github similar
• mb64/prolog github similar
• nojb/ppx_match_seq github similar
• osa1/mincaml github similar
• hecrj/iced github similar
• smlnj/smlnj github similar
• roc-lang/roc github similar
• oxalica/nil github similar
• motemen/gore github similar
• sarahzrf/minelang github similar
• pixijs/pixi.js github similar
• shonfeder/um-abt github similar
• danistefanovic/build-your-own-x github similar
• krassowski/jupyterlab-lsp github similar
• leanprover-community/vscode-lean4 github similar
• zhangir-azerbayev/lean-chat github similar
• plt-amy/cubical-methods github similar
• polytypic/rea-ml github similar
• Soldat/soldat github similar
• CertiGraph/CertiGraph github similar
• inanna-malick/hgit github similar
• smtcoq/sniper github similar
• mb64/poly github similar
• metaborg/linear.agda github similar
• c-cube/quip github similar
• coq-community/HighSchoolGeometry github similar
• amahboubi/lia4mathcomp github similar
• zilch-lang/playground github similar
• thma/lambda-ski github similar
• ivanbakel/hout-prover github similar
• math-comp/multinomials github similar
• Mesabloo/amethyst github similar
• vanaur/RCL-C github similar
• pamellies/models-of-programming-languages github similar
• felko/lamb github similar