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 3 months ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆74Updated 6 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆60Updated 4 months ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• proglangdesign / wiki
  The programming language design wiki.
  ☆26Updated last month
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆31Updated 3 months ago
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆32Updated last month
• benediktahrens / CT4P
  ☆35Updated 3 weeks ago
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 10 months ago
• sunfishcode / hello-world-vs-io-errors
  A repository about "Hello, World" programs and I/O errors
  ☆74Updated last year
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆40Updated last week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆13Updated 2 months ago
• xu-cheng / texlive-action
  GitHub Action to run arbitrary commands in a TeXLive environment
  ☆109Updated 3 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆75Updated 3 years ago
• cesar-douady / open-lmake
  Open-lmake is a generic, fearless build system. It is like make, except that it is user-friendly, versatile, scalable and reliable.
  ☆40Updated this week
• user202729 / tex-fast-recompile
  A Python module to speed up TeX compilation.
  ☆14Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months 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
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated last month
• contextgarden / luametatex
  Temporary/draft repository with luametatex
  ☆37Updated this week
• 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
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated last week
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆65Updated this week
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Updated 8 months ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆36Updated 3 weeks ago