Similar repositories to joewatt95/lambdacplus:

• danistefanovic/build-your-own-x github similar
• GamestonkTerminal/GamestonkTerminal github similar
• joewatt95/lambdacplus github similar
• Yosuke-Ito-345/Actuary github similar
• dalance/flexlint github similar
• thesephist/stream github similar
• coq-community/aac-tactics github similar
• siraben/fp-notes github similar
• returntocorp/ocaml-tree-sitter-semgrep github similar
• nick8325/twee github similar
• tlaplus-community/tree-sitter-tlaplus github similar
• tlaplus/tlapm github similar
• microsoft/knossos-ksc github similar
• IBM/FormalML github similar
• uwplse/ruler github similar
• kamadorueda/nixel github similar
• leanprover/lake github similar
• JetBrains-Research/Lama github similar
• google/mlir-hs github similar
• viega/hatrack github similar
• lucaperret/kap-now github similar
• ianthehenry/mixologician github similar
• PaulBatchelor/sndkit github similar
• strictdoc-project/strictdoc github similar
• stsewd/tree-sitter-comment github similar
• logic-and-learning-lab/Popper github similar
• evoldoers/biomake github similar
• facebookresearch/pplbench github similar
• kmill/lean4-raytracer github similar
• ngsankha/rbsyn github similar
• gnikit/fortls github similar
• spcl/pymlir github similar
• microsoft/dpu-utils github similar
• bzg/opensource-challenges github similar
• lazear/types-and-programming-languages github similar
• tree-sitter/tree-sitter-graph github similar
• crdoconnor/xeger github similar
• goblint/analyzer github similar
• cksac/oxui github similar
• tlaplus/PlusPy github similar