Alternatives and similar repositories for programming-language-research

Users that are interested in programming-language-research are comparing it to the libraries listed below

• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆310Updated last week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆673Updated this week
• nlsandler / nqcc2
  Reference implementation for Writing a C Compiler
  ☆228Updated 11 months ago
• uds-psl / Prog
  ☆91Updated 4 years ago
• nlsandler / writing-a-c-compiler-tests
  Test cases for Writing a C Compiler
  ☆349Updated last week
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆643Updated this week
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆232Updated last year
• chshersh / zbg
  ✨ Zero Bullshit Git
  ☆328Updated 4 months ago
• hirrolot / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆465Updated 2 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆318Updated 3 weeks ago
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆501Updated 2 weeks ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆752Updated 2 months ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆93Updated last month
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆349Updated 9 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated 2 years ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆49Updated 11 months ago
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆381Updated 2 weeks ago
• imteekay / programming-language-research
  ✨ Programming Language Research, Applied PLT & Compilers
  ☆950Updated last year
• isuckatcs / how-to-compile-your-language
  An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.
  ☆143Updated this week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆250Updated 6 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated 2 months ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆42Updated 6 years ago
• HigherOrderCO-archive / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆280Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆121Updated last month
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆137Updated 3 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆159Updated last year
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• cs3110 / textbook
  The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
  ☆899Updated 2 weeks ago