๐ Compiler Compiler based on CSharp with GUI Program
โ21Oct 21, 2022Updated 3 years ago
Alternatives and similar repositories for compiler-compiler
Users that are interested in compiler-compiler are comparing it to the libraries listed below
Sorting:
- ๐ (WIP) Formal proofs of "An Infinitely Large Napkin"โ20Feb 18, 2026Updated last month
- Implementation for the book <Implementing functional languages: a tutorial>โ33Apr 15, 2019Updated 6 years ago
- Pure Type Systems for Functional Programmingโ11Jun 11, 2014Updated 11 years ago
- โ10Nov 20, 2023Updated 2 years ago
- Object Pascal Compiler/Transpilerโ11Jul 15, 2015Updated 10 years ago
- My portfolio contains a lexer generator, a parser generator, my own ฮปProlog interpreter, and several meta-theorems for the propositional โฆโ14Updated this week
- bidirectional type checking algorithms for higher-ranked polymorphismโ20Mar 23, 2022Updated 3 years ago
- โ14Feb 26, 2024Updated 2 years ago
- A cross-platform compiler/interpreter .NET Standard implementation of the Lox language.โ17Nov 27, 2021Updated 4 years ago
- ๐ (WIP) Rewriting Software Foundations in Lean 4โ28Oct 24, 2025Updated 4 months ago
- Gallery Information Explorerโ11Nov 23, 2022Updated 3 years ago
- A step-by-step onboarding plans and related materials for beginnersโ17Apr 14, 2022Updated 3 years ago
- Library for generating IDs like those used by Stripe and other servicesโ12Updated this week
- The Vala Compiler, ported to C#โ16Jun 23, 2018Updated 7 years ago
- A simple Rust and WebAssembly example implementing the Game of Lifeโ14Aug 4, 2021Updated 4 years ago
- Non-linear Video Editor, renewal of olive rewritten in Qtโ16Jul 22, 2020Updated 5 years ago
- โ14Feb 22, 2024Updated 2 years ago
- Modula-2 to C# Translator and Compilerโ14Jun 5, 2023Updated 2 years ago
- A type-checker for Haskell with integer constraintsโ42Feb 21, 2015Updated 11 years ago
- Common indexing structuresโ21Jun 17, 2025Updated 9 months ago
- The Oberon+ Programming Languageโ19Jan 29, 2024Updated 2 years ago
- ๐ High productivity semi-automatic crawler generator ๐ ๏ธ๐งฐโ60Oct 5, 2023Updated 2 years ago
- โ17May 29, 2023Updated 2 years ago
- Next Pascal Language (Compiler/VM/Debugger/Etc...)โ20Jun 12, 2019Updated 6 years ago
- Delphi multi-target compiler using the LLVM framework.โ18Feb 5, 2017Updated 9 years ago
- Inno Pascal is a simple Pascal compiler for Win32. It produces compact, native-code x86 executables without requiring any external assembโฆโ18Oct 27, 2014Updated 11 years ago
- Linearizability Hoare Logicโ17Feb 9, 2026Updated last month
- The Pascal compiler of LLVM.โ23Jul 13, 2021Updated 4 years ago
- A fork of jhc. And also a Haskell compiler.โ136Jun 8, 2019Updated 6 years ago
- Daydream - ์ฌํํ ํ๊ตญ์ด ๊ธฐ๋ฐ ๋์ค์ฝ๋ ๋ฎค์ง ๋ด. ๊ทผ๋ฐ ์ด์ ์ฌ๋์ฌ ์ปค๋งจ๋์ ๋ถ๋ด์ค๋ฝ๊ฒ ์น์ ํ ์ค์น ๋ฐฉ๋ฒ ๊ฐ์ด๋๋ฅผ ๊ณ๋ค์ธ... (ytdl-core, Discord.js v14)โ18Mar 19, 2025Updated last year
- Delphi port of the DGrok (C#) Delphi parserโ26Oct 10, 2011Updated 14 years ago
- โ36Nov 7, 2025Updated 4 months ago
- Jhc: Haskell Compilerโ39Aug 31, 2015Updated 10 years ago
- ํธ๋ฆฌ์ ๋ณํ ์คํ์คโ44Jan 4, 2021Updated 5 years ago
- A minimal and portable JSON tokenizer for building highly effective and strict parsers (in C and C++)โ27Nov 3, 2021Updated 4 years ago
- A Rust firmware for mechanical keyboards using the Teensy 3.2โ11Dec 15, 2018Updated 7 years ago
- โ75Nov 21, 2024Updated last year
- Access unicode character databaseโ18Sep 16, 2025Updated 6 months ago
- Foundational Verification of Hybrid Systemsโ15Mar 23, 2017Updated 8 years ago