Similar repositories to ReedOei/Pecan:

• ReedOei/Pecan github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• hamousavi/Walnut github similar
• mb64/LC-interpreter github similar
• Soldat/soldat github similar
• bansal-io/pattern.css github similar
• exaloop/codon github similar
• motemen/gore github similar
• meilisearch/MeiliSearch github similar
• krassowski/jupyterlab-lsp github similar
• pixijs/pixi.js github similar
• RichardMoot/LinearOne github similar
• mhuisi/lean4-cli github similar
• disconcision/containment-patterns github similar
• karttu/OEIS-Djinn github similar
• m-f-h/OEIS.js github similar
• dboulytchev/miniKanren-coq github similar
• jpt4/skio github similar
• alexmojaki/oeis-explorer github similar
• daanx/effect-bench github similar
• groupoid/anders github similar
• TOTBWF/MLogic github similar
• xieyuheng/inner github similar
• CoqHott/DICoq github similar
• chaw/r7rs-libs github similar
• eprover/PyRes github similar
• prathyvsh/history-of-lambda-calculus github similar
• Kixiron/lsw github similar
• pdarragh/variadic-curry-calculus github similar
• jonsterling/lean4-sgdt github similar
• elpinal/subtyping-agda github similar
• coq-community/dblib github similar
• mb64/prolog github similar
• dorchard/effects-as-sessions github similar
• ReedOei/CMips github similar
• serprex/Rue github similar
• julianhyde/morel github similar
• cgswords/rkanren github similar
• loda-lang/loda-programs github similar