elaboration topic

List elaboration repositories

Surelog

335
Stars
67
Forks
Watchers

SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX

verified publisher icon chipsalliance

dreamtt

80
Stars
3
Forks
Watchers

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

verified publisher icon jonsterling

language-garden

130
Stars
4
Forks
Watchers

A garden of small programming language implementations 🪴

verified publisher icon brendanzab

teenytt

26
Stars
4
Forks
Watchers

A Teeny Type Theory

verified publisher icon TOTBWF