Alternatives and similar repositories for NPRG014

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

• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆73Updated 6 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
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆33Updated 2 months ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆95Updated 3 months ago
• lambduli / minilog
  A small logic programming language.
  ☆16Updated last year
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 8 months ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 6 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 5 months ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆13Updated 2 months ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Updated 7 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 2 months ago
• xnning / Dissertation
  My PhD Thesis
  ☆15Updated 3 years ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆74Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated last year
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆29Updated last month
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆73Updated 4 months ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆36Updated this week
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆35Updated 2 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆24Updated 2 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 5 years ago
• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆13Updated last year
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆17Updated 3 weeks ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 4 months ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆31Updated 3 months ago
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆31Updated 2 weeks ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆54Updated 3 months ago
• lang-talk / meetups
  A community around PL at Prague.
  ☆18Updated 10 months ago