Alternatives and similar repositories for soviet_compilers

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

• bmstu-iu9 / refal-5-lambda
  Компилятор Рефала-5λ
  ☆94Updated last month
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆39Updated last year
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆79Updated last month
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated 2 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• true-grue / fortik
  Tiny Forth-like language implementation
  ☆25Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last month
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆25Updated 2 years ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆29Updated 3 years ago
• true-grue / peco
  Tiny parser combinators library written in Python.
  ☆18Updated 8 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆87Updated 3 weeks ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆59Updated 11 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆90Updated 2 weeks ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆28Updated 13 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 3 weeks ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 6 months ago
• grigory-rechistov / interpreters-comparison
  Sample programs for comparison of different VM interpretation techniques
  ☆37Updated last year
• smlnj / legacy
  This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆44Updated 2 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 8 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 3 years ago
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• SaberVM / FVM
  The Functional Virtual Machine.
  ☆14Updated last year
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆95Updated 5 years ago
• samsergey / monopig
  Monoidal stack machine
  ☆10Updated 7 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆26Updated 12 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆70Updated 2 months ago
• AshleyF / Lispkit
  Lispkit Lisp/SECD Machine
  ☆12Updated 8 years ago