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.
  ☆97Updated 7 months ago
• xu-cheng / texlive-action
  GitHub Action to run arbitrary commands in a TeXLive environment
  ☆117Updated 7 months ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆32Updated 7 months ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆34Updated last month
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆14Updated last year
• 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
• fsantanna-no / dceu
  ☆29Updated 5 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• norswap / uranium
  Semantic analysis framework
  ☆15Updated 3 years ago
• zyedidia / gpeg
  A PEG parsing machine with support for incremental parsing.
  ☆96Updated last year
• proglangdesign / wiki
  The programming language design wiki.
  ☆26Updated 4 months ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆148Updated last month
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• kjosib / booze-tools
  Booze Tools will become the complete programming-language development workbench, all written in Python 3.9 (for now).
  ☆17Updated last year
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆49Updated 2 years ago
• mingodad / parsertl-playground
  A web based playground for parsertl/lexertl
  ☆28Updated 2 weeks ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 9 months ago
• joshmoody24 / skoobert
  A lazy subset of JavaScript
  ☆31Updated last week
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆81Updated last week
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• zauguin / install-texlive
  A GitHub Action to install TeX Live
  ☆39Updated last week
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆103Updated 2 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 3 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆63Updated 7 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 4 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• xorvoid / meson-brainfuck
  A proof that Meson is actually Turing-Complete
  ☆24Updated 6 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 8 months ago
• PiCake314 / Pie
  (Hopefully) a compiler for my first language named "Pie"
  ☆22Updated 2 weeks ago