π 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π (WIP) Formal proofs of "An Infinitely Large Napkin"β22Feb 18, 2026Updated 2 months ago
- Pure Type Systems for Functional Programmingβ11Jun 11, 2014Updated 11 years ago
- β10Nov 20, 2023Updated 2 years ago
- Acropolis, where you can experience very first version of ECMAScript.β30Nov 17, 2025Updated 5 months ago
- π A Rocq library written by members of PnV Discord Serverβ18Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- My portfolio contains a lexer generator, a parser generator, my own Ξ»Prolog interpreter, and several meta-theorems for the propositional β¦β14Updated this week
- 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β30Oct 24, 2025Updated 6 months ago
- Gallery Information Explorerβ12Nov 23, 2022Updated 3 years ago
- A step-by-step onboarding plans and related materials for beginnersβ17Apr 14, 2022Updated 4 years ago
- Library for generating IDs like those used by Stripe and other servicesβ12Mar 15, 2026Updated last month
- bidirectional type checking algorithms for higher-ranked polymorphismβ44Mar 23, 2022Updated 4 years ago
- Acornima is a standard-compliant JavaScript parser for .NET. It is a fork of Esprima.NET combined with the .NET port of the acornjs parseβ¦β47Updated this week
- β14Feb 22, 2024Updated 2 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.
- 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
- π High productivity semi-automatic crawler generator π οΈπ§°β60Oct 5, 2023Updated 2 years ago
- Common indexing structuresβ21Jun 17, 2025Updated 10 months ago
- The Oberon+ Programming Languageβ19Jan 29, 2024Updated 2 years ago
- Coco/R is a compiler generator, which takes an attributed grammar of a source language and generates a scanner and a parser for this langβ¦β15Aug 10, 2021Updated 4 years ago
- Next Pascal Language (Compiler/VM/Debugger/Etc...)β20Jun 12, 2019Updated 6 years ago
- "Parsing Expression Grammars" (PEG) for Delphi / Pascalβ20Sep 3, 2019Updated 6 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
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Linearizability Hoare Logicβ17Apr 24, 2026Updated last week
- The Pascal compiler of LLVM.β23Jul 13, 2021Updated 4 years ago
- Multi-thread version of simdjsonβ15Jul 27, 2019Updated 6 years ago
- Delphi port of the DGrok (C#) Delphi parserβ26Oct 10, 2011Updated 14 years ago
- For parts of https://www.ats-lang.orgβ26Jun 29, 2025Updated 10 months ago
- β32Sep 12, 2025Updated 7 months ago
- νΈλ¦¬μ λ³ν μ€νμ€β44Jan 4, 2021Updated 5 years ago
- Django Shopping Mall WebSite for IRK / DEMO:β17Dec 8, 2022Updated 3 years ago
- LLVM C-Api Headers and binaries for Delphiβ27Nov 7, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- β75Nov 21, 2024Updated last year
- Access unicode character databaseβ18Sep 16, 2025Updated 7 months ago
- Lenses in Coqβ17Oct 7, 2022Updated 3 years ago
- Foundational Verification of Hybrid Systemsβ15Mar 23, 2017Updated 9 years ago
- A formalization of the theory behind the mugen libraryβ19Apr 7, 2026Updated 3 weeks ago
- κ΅ννμμ μν νλ«νΌ, μ리λ 컀λ₯μ βοΈβ10Apr 6, 2026Updated 3 weeks ago
- νμ... κ΄λ ¨ λ νΌμ§ν 리 λͺ¨μβ17Mar 23, 2020Updated 6 years ago