compiler-desig

Here are 2 public repositories matching this topic...

hyperpolymath / kategoria

Five approaches to building a programming language with every known level of type safety (10 levels, from basic types to homotopy types). An exploration mapping the territory of type safety via five concurrent routes (extend, dyadic, aspect, aggregate, clean-slate) sharing a common test suite and documenting all failures in a stumble journal.

dependent-types programming-languages type-safety session-types immutable-types homotopy-type-theory idris2 compiler-desig type-theory-in-number-theory affine-types echo-types epistemic-types dyadic-types choreographic-types tropical-types

Updated Sep 8, 2026
Just

Berserker312112 / MiniCompiler_C

Star

A lightweight compiler for a subset of the C language, featuring lexical analysis, recursive descent parsing, symbol table management, and intermediate code generation.

c parser interpreter compiler lexer lexical-analysis abstract- systems- compiler-desig code-generatio

Updated Apr 29, 2026
C

Add this topic to your repo

To associate your repository with the compiler-desig topic, visit your repo's landing page and select "manage topics."

Learn more