Alternatives and similar repositories for NPRG014

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

• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated this week
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 5 months ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆32Updated 5 months ago
• mingodad / parsertl-playground
  A web based playground for parsertl/lexertl
  ☆28Updated 3 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆24Updated 2 years ago
• xu-cheng / texlive-action
  GitHub Action to run arbitrary commands in a TeXLive environment
  ☆113Updated 5 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆61Updated 5 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆125Updated last month
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆34Updated 3 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 6 months ago
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆75Updated 7 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 3 years ago
• 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…
  ☆38Updated this week
• contextgarden / luametatex
  Temporary/draft repository with luametatex
  ☆38Updated last week
• benediktahrens / CT4P
  ☆36Updated 2 months ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…
  ☆34Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆57Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 3 weeks ago
• GuntherRademacher / ebnf-convert
  Grammar Converter
  ☆30Updated 3 weeks ago
• ehatti / konna
  ☆16Updated 3 years ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆13Updated 4 months ago
• EagleoutIce / tikzpingus
  🐧 Penguins in LaTeX with TikZ
  ☆89Updated 2 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆41Updated 7 years ago
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated last year
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆32Updated last month
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 2 weeks ago