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λ
  ☆93Updated 3 weeks ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆39Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆23Updated 2 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆78Updated 2 weeks ago
• true-grue / awesome-russian-cs-books
  ☆41Updated 3 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆70Updated last month
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last month
• grigory-rechistov / interpreters-comparison
  Sample programs for comparison of different VM interpretation techniques
  ☆37Updated 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 2 months ago
• hugeping / rein
  minimal lua/sdl platform
  ☆23Updated 7 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆87Updated last week
• 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
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 5 months ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆29Updated 3 years ago
• sayon / dwarf-vm
  This is a simple stack virtual machine to be a translation target for toy languages.
  ☆12Updated 5 years ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆85Updated 2 weeks ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 11 months ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆12Updated 4 years ago
• darius / elv
  A very basic Lisp + Erlang-style processes, on a virtual machine
  ☆10Updated 9 years ago
• true-grue / fortik
  Tiny Forth-like language implementation
  ☆23Updated last year
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆36Updated 3 weeks ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆26Updated 11 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 8 months ago
• redstar / m2lang
  The LLVM-based Modula-2 compiler
  ☆74Updated 11 months ago
• ilya-klyuchnikov / refal
  ☆13Updated 8 months ago