Материалы к серии докладов о советской компиляторной школе
☆12Aug 8, 2024Updated 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:
- A simple programming game.☆13Mar 1, 2024Updated 2 years ago
- ☆12Mar 9, 2025Updated 11 months ago
- Tiny parser combinators library written in Python.☆18May 20, 2025Updated 9 months ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- LISP INTERPRETER and TEXT EDITOR☆20Jul 12, 2024Updated last year
- ☆18Jul 13, 2021Updated 4 years ago
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated last year
- minimal lua/sdl platform☆23Feb 19, 2026Updated last week
- Lang Party 2022☆25Nov 7, 2022Updated 3 years ago
- Experiments with sequent calculi☆28Mar 28, 2021Updated 4 years ago
- A tiny engine to explain how SpiderMonkey works☆30Dec 11, 2020Updated 5 years ago
- Installation and configuration of WireGuard on Ubuntu servers for building a mesh network.☆12Mar 21, 2024Updated last year
- Lecture meterials☆10Sep 27, 2019Updated 6 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆43Jan 3, 2025Updated last year
- JIT-ускоритель программ на языке Python☆33Jul 2, 2022Updated 3 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆10Jan 5, 2024Updated 2 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Build and Train Neural Networks in Emacs Lisp☆14May 22, 2024Updated last year
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- ☆41Feb 20, 2022Updated 4 years ago
- Компилятор Рефала-5λ☆94Feb 22, 2026Updated last week
- R code to "average" GPS traces from OpenStreetMap to derive usable GPX tracks for roadways☆21Dec 4, 2018Updated 7 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- Prototype implementation of an architecture suggested in Robot Dream paper (http://arxiv.org/abs/1603.03007)☆12Jul 3, 2019Updated 6 years ago
- A toy programming language written in Lua☆14Dec 28, 2022Updated 3 years ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10May 7, 2022Updated 3 years ago
- Programs and data to accompany the book "Random Number Generators, Principles and Practices"☆11Oct 5, 2018Updated 7 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- Lisp implementation in Lua☆12Aug 9, 2014Updated 11 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- Prolog Technology Theorem Prover☆12Jun 19, 2024Updated last year
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆14Jan 15, 2024Updated 2 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated 2 months ago
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated last year
- C implementation of Karplus–Strong synthesis for tiny MCUs☆11Aug 28, 2013Updated 12 years ago