true-grue/Compiler-Development external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

true-grue/Compiler-Development

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/true-grue/Compiler-Development)

Close

true-grue / Compiler-DevelopmentView on GitHubMore

• External links
• Readme badge

Что читать о разработке компиляторов

☆558Nov 22, 2025Updated 3 months ago

Alternatives and similar repositories for Compiler-Development

Users that are interested in Compiler-Development are comparing it to the libraries listed below

• true-grue / soviet_compilers

  View on GitHub
  Материалы к серии докладов о советской компиляторной школе
  ☆12Aug 8, 2024Updated last year
• true-grue / kisport

  View on GitHub
  Разработка кроссплатформенных программных систем. Учебное пособие. Курс в РТУ МИРЭА. Авторы: П. Н. Советов, А. В. Горчаков
  ☆17Jan 24, 2026Updated last month
• sequents / code

  View on GitHub
  Proof theory seminar
  ☆35Apr 6, 2021Updated 4 years ago
• anton-trunov / coq-lecture-notes

  View on GitHub
  Coq Lecture Notes (WIP)
  ☆56Oct 17, 2020Updated 5 years ago
• Nekrolm / ubbook

  View on GitHub
  C++ programmer's guide to undefined behavior
  ☆1,511Jan 24, 2026Updated last month
• mtt-lang / mtt-lang

  View on GitHub
  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
• anton-trunov / csclub-coq-course-spring-2021

  View on GitHub
  A course on formal verification at https://compsciclub.ru/en, Spring term 2021
  ☆57Feb 28, 2023Updated 3 years ago
• true-grue / DandyBot

  View on GitHub
  A simple programming game.
  ☆13Mar 1, 2024Updated 2 years ago
• true-grue / python-dsls

  View on GitHub
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Dec 30, 2023Updated 2 years ago
• true-grue / VKR

  View on GitHub
  ☆18Jul 13, 2021Updated 4 years ago
• Liminiens / grinder

  View on GitHub
  Telegram bot for chats administration
  ☆22Aug 15, 2023Updated 2 years ago
• ImoutoChan / GreenCaptchaBot

  View on GitHub
  Telegram Bot that protects your chat from spammers!
  ☆46Dec 10, 2024Updated last year
• PLTools / Lama

  View on GitHub
  Teaching language LaMa for a compiler course
  ☆79Dec 22, 2025Updated 2 months ago
• true-grue / kispython

  View on GitHub
  Курс программирования на языке Python в РТУ МИРЭА
  ☆228May 8, 2025Updated 9 months ago
• jacylang / jacy

  View on GitHub
  Jacy programming language
  ☆13Apr 26, 2022Updated 3 years ago
• fsharplang-ru / fsharplang-ru.github.io

  View on GitHub
  Веб-материалы для fsharplang.ru
  ☆12Apr 28, 2021Updated 4 years ago
• true-grue / peco

  View on GitHub
  Tiny parser combinators library written in Python.
  ☆18May 20, 2025Updated 9 months ago
• sergei-romanenko / spsc

  View on GitHub
  SPSC: A Small Positive Supercompiler
  ☆39Feb 12, 2026Updated 3 weeks ago
• PenzaStreetGames / MetaStruct

  View on GitHub
  JIT-ускоритель программ на языке Python
  ☆33Jul 2, 2022Updated 3 years ago
• turborium / TurboControls

  View on GitHub
  Turborium LCL Controls
  ☆23Jan 22, 2026Updated last month
• fsharplang-ru / vahter-bot

  View on GitHub
  Бот для комьюнити, который умеет банить!
  ☆26Feb 27, 2026Updated last week
• overscript-lang / OverScript

  View on GitHub
  The OverScript programming language
  ☆14Aug 21, 2022Updated 3 years ago
• true-grue / kisscm

  View on GitHub
  Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА. Авторы: П. Н. Советов, А. В. Горчаков
  ☆88Jan 23, 2026Updated last month
• bmstu-iu9 / scheme-labs

  View on GitHub
  Материалы по курсу «Основы информатики»
  ☆27Jan 31, 2025Updated last year
• true-grue / old_softsynths_article_examples

  View on GitHub
  ☆12Jan 25, 2018Updated 8 years ago
• damoldavskiy / LexType

  View on GitHub
  Software environment for mathematical lectures writing.
  ☆25Oct 29, 2023Updated 2 years ago
• Kelas1945 / BERESTA-4

  View on GitHub
  Проект одноплатного четырехбитного компьютера на 155 серии времен СССР
  ☆21May 20, 2024Updated last year
• mrDIMAS / rg3d-physics

  View on GitHub
  Simple physics library for rg3d engine.
  ☆12Oct 29, 2020Updated 5 years ago
• ahmadsalim / desc-n-crunch

  View on GitHub
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Jan 14, 2019Updated 7 years ago
• ForNeVeR / Fabricator

  View on GitHub
  The sharpest infrastructure automation tool.
  ☆18Feb 27, 2026Updated last week
• VArtem / lean-itmo

  View on GitHub
  ☆11Jun 4, 2021Updated 4 years ago
• ForNeVeR / Cesium

  View on GitHub
  C compiler for the CLI platform
  ☆436Feb 27, 2026Updated last week
• vasil-sd / engineering-sw-hw-model-checking-letures

  View on GitHub
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Apr 19, 2021Updated 4 years ago
• turborium / SortingPixels

  View on GitHub
  SortingPixels app
  ☆11Nov 27, 2024Updated last year
• JetBrains / Arend

  View on GitHub
  The Arend Proof Assistant
  ☆740Feb 25, 2025Updated last year
• apolukhin / course-nimble_cpp

  View on GitHub
  Tasks and helper libraries for nimble C++ course
  ☆21Jan 14, 2025Updated last year
• bmstu-iu9 / refal-5-lambda

  View on GitHub
  Компилятор Рефала-5λ
  ☆95Feb 22, 2026Updated last week
• victor-yacovlev / fpmi-caos

  View on GitHub
  Материалы курса АКОС на ФПМИ
  ☆341Sep 10, 2025Updated 5 months ago
• ligurio / practical-fm

  View on GitHub
  A gently curated list of companies using verification formal methods in industry
  ☆592Feb 26, 2026Updated last week