Что читать о разработке компиляторов
☆563Nov 22, 2025Updated 5 months ago
Alternatives and similar repositories for Compiler-Development
Users that are interested in Compiler-Development are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Материалы к серии докладов о советской компиляторной школе☆12Aug 8, 2024Updated last year
- Tiny parser combinators library written in Python.☆18May 20, 2025Updated last year
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Coq Lecture Notes (WIP)☆56Oct 17, 2020Updated 5 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆48May 29, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆18Jul 13, 2021Updated 4 years ago
- Language for Embeddable .NET Scripting☆92Sep 21, 2020Updated 5 years ago
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated 2 years ago
- JIT-ускоритель программ на языке Python☆33Jul 2, 2022Updated 3 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆58Feb 28, 2023Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆40Feb 12, 2026Updated 3 months ago
- Telegram bot for chats administration☆22Aug 15, 2023Updated 2 years ago
- Jacy programming language☆13Apr 26, 2022Updated 4 years ago
- Веб-материалы для fsharplang.ru☆12Apr 28, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- using dictionary in Delphi without generics☆14Aug 22, 2016Updated 9 years ago
- Type-safe heterogeneous lists for C# and F#.☆10Aug 6, 2018Updated 7 years ago
- The sharpest infrastructure automation tool.☆18May 13, 2026Updated last week
- ☆12Jan 25, 2018Updated 8 years ago
- Experimental multidimensional arrays for F#☆11Nov 12, 2017Updated 8 years ago
- Primitive Object Memoization for Ruby☆12Updated this week
- Turborium LCL Controls☆24Mar 19, 2026Updated 2 months ago
- Simple physics library for rg3d engine.☆12Oct 29, 2020Updated 5 years ago
- Telegram Bot that protects your chat from spammers!☆45Dec 10, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The Arend Proof Assistant☆747Feb 25, 2025Updated last year
- Production-ready C++ Asynchronous Framework with rich functionality☆2,894Updated this week
- Бот для комьюнити, который умеет банить!☆26May 13, 2026Updated last week
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆768Apr 24, 2026Updated 3 weeks ago
- A gently curated list of companies using verification formal methods in industry☆605Feb 26, 2026Updated 2 months ago
- Материалы курса АКОС на ФПМИ☆341Sep 10, 2025Updated 8 months ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- A book about compiling Racket and Python to x86-64 assembly☆1,573Oct 30, 2025Updated 6 months ago
- C compiler for the CLI platform☆444Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff☆20May 7, 2026Updated last week
- Это репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики☆414May 16, 2022Updated 4 years ago
- A distributed C++ compiler: like distcc, but faster☆295Jan 22, 2026Updated 3 months ago
- C++17 library for comfortable and efficient dynamic polymorphism☆503May 5, 2026Updated 2 weeks ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Materials for the "Principles of Static Program Analysis" course☆11Jul 17, 2025Updated 10 months ago
- A modern supercompiler for call-by-value functional languages☆477Dec 5, 2025Updated 5 months ago