true-grue / soviet_compilersLinks
Материалы к серии докладов о советской компиляторной школе
☆12Updated last year
Alternatives and similar repositories for soviet_compilers
Users that are interested in soviet_compilers are comparing it to the libraries listed below
Sorting:
- Компилятор Рефала-5λ☆94Updated last month
- ☆41Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last week
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Updated 2 years ago
- Sample programs for comparison of different VM interpretation techniques☆37Updated last year
- Teaching language LaMa for a compiler course☆79Updated last month
- SPSC: A Small Positive Supercompiler☆39Updated last year
- Tools for rapid prototyping of DSL compilers☆90Updated 3 weeks ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Bottom Up Rewrite Generator☆29Updated 8 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆70Updated 2 months ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 months ago
- Tiny parser combinators library written in Python.☆18Updated 8 months ago
- Tiny Forth-like language implementation☆25Updated last year
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Updated 9 years ago
- ☆18Updated 4 years ago
- αProlog☆18Updated 2 years ago
- minimal lua/sdl platform☆23Updated 8 months ago
- Manfred von Thun's Programming Language Joy☆16Updated last week
- MimIR is my Intermediate Representation☆89Updated this week
- A constructive proof assistant for second order logic.☆36Updated last year
- Reader Implementations of "Writing a C Compiler"☆39Updated 3 weeks ago
- The rule-based graph programming language GP 2☆77Updated 2 months ago
- Parallel ML compiler☆74Updated 5 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆29Updated 3 years ago
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- Implementation of Scheme programming language in assembly☆25Updated 8 years ago