Что читать о разработке компиляторов
☆565Nov 22, 2025Updated 6 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 4 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.
- ☆18Jul 13, 2021Updated 4 years ago
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated 2 years ago
- Teaching language LaMa for a compiler course☆79Apr 20, 2026Updated last month
- JIT-ускоритель программ на языке Python☆33Jul 2, 2022Updated 3 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆59Feb 28, 2023Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆40Feb 12, 2026Updated 3 months ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Feb 10, 2026Updated 4 months ago
- Telegram bot for chats administration☆22Aug 15, 2023Updated 2 years ago
- Jacy programming language☆13Apr 26, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Веб-материалы для fsharplang.ru☆12Apr 28, 2021Updated 5 years ago
- using dictionary in Delphi without generics☆14Aug 22, 2016Updated 9 years ago
- A package implementing Graphics primitives for gscene package☆20Apr 18, 2026Updated last month
- Experimental multidimensional arrays for F#☆11Nov 12, 2017Updated 8 years ago
- 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
- Experiments with sequent calculi☆28Mar 28, 2021Updated 5 years ago
- Python5☆15Jun 9, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The Arend Proof Assistant☆750Feb 25, 2025Updated last year
- Intra library and my projects based on it☆10Apr 8, 2026Updated 2 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆771Apr 24, 2026Updated last month
- Tools for rapid prototyping of DSL compilers☆91Jan 10, 2026Updated 4 months ago
- A gently curated list of companies using verification formal methods in industry☆608Feb 26, 2026Updated 3 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,584Oct 30, 2025Updated 7 months ago
- C compiler for the CLI platform☆445May 27, 2026Updated 2 weeks ago
- Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff☆20May 7, 2026Updated last month
- 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.
- ☆11Jun 4, 2021Updated 5 years ago
- Главный сайт сообщества☆231Feb 11, 2026Updated 3 months ago
- C++17 library for comfortable and efficient dynamic polymorphism☆503May 5, 2026Updated last month
- 2048 written in x64 assembly for educational purposes (OS: Windows)☆17Oct 19, 2021Updated 4 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 2 years ago
- Учебник теории категорий☆372Jan 12, 2018Updated 8 years ago