Alternatives and similar repositories for NPRG014

Users that are interested in NPRG014 are comparing it to the libraries listed below

• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆27Updated 10 months ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆70Updated 6 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆92Updated last month
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆102Updated last year
• xu-cheng / texlive-action
  GitHub Action to run arbitrary commands in a TeXLive environment
  ☆104Updated last month
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• LexiFi / menhir
  ☆21Updated last year
• antlr-ng / antlr-ng
  The next generation of ANTLR, a powerful parser generator for reading, processing, executing, or translating structured text or binary fi…
  ☆67Updated last month
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 8 months ago
• slebok / zoo
  Grammar Zoo
  ☆92Updated 6 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆40Updated last month
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆36Updated 3 weeks ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆58Updated last month
• lambduli / minilog
  A small logic programming language.
  ☆16Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated this week
• leanprover / fp-lean
  Functional Programming in Lean
  ☆101Updated this week
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆30Updated 4 months ago
• proglangdesign / wiki
  The programming language design wiki.
  ☆25Updated last year
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated last month
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆31Updated last week
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆42Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆35Updated 7 months ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated last month