Similar repositories to fgoodman/LambdaPHP:

• fgoodman/LambdaPHP github similar
• samuela/Bruno github similar
• bootstrapworld/codemirror-blocks github similar
• uwplse/szalinski github similar
• mflatt/plai-typed github similar
• leanprover/vscode-lean github similar
• leanprover-community/mathlib4 github similar
• greghendershott/rackjure github similar
• leanprover-community/lean github similar
• greghendershott/frog github similar
• jscoq/jscoq github similar
• brownplt/pyret-lang github similar
• AlloyTools/org.alloytools.alloy github similar
• emina/rosette github similar
• egraphs-good/egg github similar
• edwinb/Idris2-boot github similar
• ucsd-progsys/liquidhaskell github similar
• lexi-lambda/hackett github similar
• AbsInt/CompCert github similar
• leanprover/lean4 github similar
• idris-lang/Idris2 github similar
• dafny-lang/dafny github similar
• leanprover/lean github similar
• koka-lang/koka github similar
• televator-apps/vimari github similar
• tectonic-typesetting/tectonic github similar
• synercys/annotated_latex_equations github similar
• reasonml/reason-react github similar
• coq/coq github similar
• ocaml/ocaml github similar
• racket/racket github similar
• penrose/penrose github similar
• rescript-lang/rescript-compiler github similar
• HypothesisWorks/hypothesis github similar
• cisco/ChezScheme github similar
• reasonml/reason github similar
• tree-sitter/tree-sitter github similar
• Homebrew/homebrew-core github similar
• Wilfred/difftastic github similar
• eczarny/spectacle github similar