Similar repositories to LexiFi/menhir:

• LexiFi/menhir github similar
• hecrj/iced github similar
• Eugeny/terminus github similar
• gibiansky/IHaskell github similar
• facebookresearch/llama github similar
• tuvtran/project-based-learning github similar
• danistefanovic/build-your-own-x github similar
• k6io/k6 github similar
• JoshuaWise/better-sqlite3 github similar
• Eloston/ungoogled-chromium github similar
• expnkx/fast_io github similar
• leandrotk/functional-programming-learning-path github similar
• krassowski/jupyterlab-lsp github similar
• tootsuite/mastodon github similar
• blockstack/stacks github similar
• motemen/gore github similar
• ostera/serde.ml github similar
• google/comprehensive-rust github similar
• folke/lazy.nvim github similar
• lencx/ChatGPT github similar
• intel/x86-simd-sort github similar
• maximecb/uvm github similar
• v-yadli/config github similar
• DanBurton/haskell-src-meta github similar
• containerd/runwasi github similar
• shaunlebron/parinfer github similar
• Zdancewic/owl github similar
• inkydragon/gc github similar
• ocaml-flambda/ocaml github similar
• iExploder/ARIA-lang github similar
• ICEYSELF/Love-Lang github similar
• krtx/lua-parser github similar
• hbr/Lambda-Calculus github similar
• mikesol/purescript-jit github similar
• GiggleLiu/NiLangCore.jl github similar
• ShinKage/nvim-idris2 github similar
• colis-anr/morsmall github similar
• ice1000/vscode-arend github similar
• leanprover-community/leancrawler github similar
• zehnpaard/kontlang github similar