Alternatives and similar repositories for NPRG014

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

• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 4 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆60Updated 4 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 7 months ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆34Updated 3 months ago
• 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 last year
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆74Updated 7 years ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆36Updated last month
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆45Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆84Updated 3 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆122Updated last month
• mmasdeu / topologygame
  Learn Lean and topology
  ☆24Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆36Updated 6 months ago
• slatex / RusTeX
  A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
  ☆32Updated last month
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 3 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆36Updated 2 months ago
• ehatti / konna
  ☆16Updated 3 years ago
• contextgarden / luametatex
  Temporary/draft repository with luametatex
  ☆38Updated last week
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆39Updated 10 months ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• oxrinz / rv32i
  32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch
  ☆22Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆27Updated 3 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 3 years ago
• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆14Updated last year
• sml-nj-historical / smlnj
  The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.
  ☆30Updated 6 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated this week
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆63Updated 3 weeks ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆31Updated 4 months ago