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 4 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.

• true-grue / awesome-russian-cs-books

  View on GitHub
  ☆42Feb 20, 2022Updated 4 years ago
• true-grue / soviet_compilers

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

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

  View on GitHub
  Proof theory seminar
  ☆35Apr 6, 2021Updated 4 years ago
• true-grue / peco

  View on GitHub
  Tiny parser combinators library written in Python.
  ☆18May 20, 2025Updated 10 months ago
• DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• 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
• anton-trunov / coq-lecture-notes

  View on GitHub
  Coq Lecture Notes (WIP)
  ☆56Oct 17, 2020Updated 5 years ago
• 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
• worldbeater / dta

  View on GitHub
  Digital Teaching Assistant web app.
  ☆22Mar 18, 2026Updated last week
• true-grue / VKR

  View on GitHub
  ☆18Jul 13, 2021Updated 4 years ago
• impworks / lens

  View on GitHub
  Language for Embeddable .NET Scripting
  ☆92Sep 21, 2020Updated 5 years ago
• true-grue / fortik

  View on GitHub
  Tiny Forth-like language implementation
  ☆25Apr 14, 2024Updated last year
• PLTools / Lama

  View on GitHub
  Teaching language LaMa for a compiler course
  ☆79Mar 16, 2026Updated last week
• PenzaStreetGames / MetaStruct

  View on GitHub
  JIT-ускоритель программ на языке Python
  ☆33Jul 2, 2022Updated 3 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
• ruHaskell-learn / lhx

  View on GitHub
  Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
  ☆15Feb 10, 2026Updated last month
• 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 / DandyBot

  View on GitHub
  A simple programming game.
  ☆13Mar 1, 2024Updated 2 years ago
• martinusso / simple-dictionary

  View on GitHub
  using dictionary in Delphi without generics
  ☆14Aug 22, 2016Updated 9 years ago
• pocketberserker / Data.HList

  View on GitHub
  Type-safe heterogeneous lists for C# and F#.
  ☆10Aug 6, 2018Updated 7 years ago
• ForNeVeR / Fabricator

  View on GitHub
  The sharpest infrastructure automation tool.
  ☆18Updated this week
• true-grue / old_softsynths_article_examples

  View on GitHub
  ☆12Jan 25, 2018Updated 8 years ago
• quasilyte / ebitengine-graphics

  View on GitHub
  A package implementing Graphics primitives for gscene package
  ☆20Mar 1, 2026Updated 3 weeks ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• ForNeVeR / skalarprodukt

  View on GitHub
  Experimental multidimensional arrays for F#
  ☆11Nov 12, 2017Updated 8 years ago
• mrDIMAS / rg3d-physics

  View on GitHub
  Simple physics library for rg3d engine.
  ☆12Oct 29, 2020Updated 5 years ago
• clayrat / sequent-calc

  View on GitHub
  Experiments with sequent calculi
  ☆28Mar 28, 2021Updated 5 years ago
• tact-lang / tact-language-server

  View on GitHub
  ⚡Tact Language Server and VS Code plugin
  ☆25Jan 9, 2026Updated 2 months ago
• cblp / python5

  View on GitHub
  Python5
  ☆15Jun 9, 2019Updated 6 years ago
• userver-framework / userver

  View on GitHub
  Production-ready C++ Asynchronous Framework with rich functionality
  ☆2,838Mar 20, 2026Updated last week
• fsharplang-ru / vahter-bot

  View on GitHub
  Бот для комьюнити, который умеет банить!
  ☆25Mar 11, 2026Updated 2 weeks ago
• mgaudet / CompilerJobs

  View on GitHub
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆759Dec 9, 2025Updated 3 months ago
• devoln / Intra

  View on GitHub
  Intra library and my projects based on it
  ☆10Nov 12, 2023Updated 2 years ago
• Wordpress hosting with auto-scaling on Cloudways • Ad
  Fully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
• true-grue / raddsl

  View on GitHub
  Tools for rapid prototyping of DSL compilers
  ☆90Jan 10, 2026Updated 2 months ago
• ligurio / practical-fm

  View on GitHub
  A gently curated list of companies using verification formal methods in industry
  ☆600Feb 26, 2026Updated last month
• kngmng / lzr-engine

  View on GitHub
  2d game engine for Lazurite programming language
  ☆14Oct 11, 2023Updated 2 years ago
• ulysses4ever / formal-langs-textbook-ru

  View on GitHub
  A textbook on formal languages and automata, in Russian
  ☆26Feb 24, 2020Updated 6 years ago
• ahmadsalim / desc-n-crunch

  View on GitHub
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Jan 14, 2019Updated 7 years ago
• IUCompilerCourse / Essentials-of-Compilation

  View on GitHub
  A book about compiling Racket and Python to x86-64 assembly
  ☆1,553Oct 30, 2025Updated 4 months ago
• VArtem / lean-itmo

  View on GitHub
  ☆11Jun 4, 2021Updated 4 years ago