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λ
  ☆91Updated last week
• true-grue / awesome-russian-cs-books
  ☆41Updated 3 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆78Updated 3 weeks ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆29Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated 2 years ago
• grigory-rechistov / interpreters-comparison
  Sample programs for comparison of different VM interpretation techniques
  ☆37Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated this week
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated last year
• true-grue / raddsl
  Tools for rapid prototyping of DSL compilers
  ☆88Updated 4 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆69Updated 3 weeks ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆83Updated 2 weeks ago
• true-grue / fortik
  Tiny Forth-like language implementation
  ☆23Updated last year
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆28Updated 13 years ago
• sayon / dwarf-vm
  This is a simple stack virtual machine to be a translation target for toy languages.
  ☆12Updated 5 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆85Updated 3 months ago
• true-grue / peco
  Tiny parser combinators library written in Python.
  ☆17Updated 6 months ago
• vasil-sd / engineering-sw-hw-model-checking-letures
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Updated 4 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆32Updated 2 years ago
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• strictly-lang / compiler
  strictly is a declarative programming language for interactive web-components
  ☆10Updated 2 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆94Updated 5 years 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
• samsergey / monopig
  Monoidal stack machine
  ☆10Updated 7 years ago