Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/jonsterling/dreamtt

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

dependent-types elaboration tutorial

Last synced: 24 Jun 2024

https://github.com/brendanzab/language-garden

A garden of small programming language implementations ðŸŠī

compilation compilers dependent-types elaboration l-systems programming-languages typechecking

Last synced: 30 May 2024

https://github.com/chipsalliance/Surelog

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

antlr antlr4-grammar elaboration linter parser parser-ast preprocessor python-api systemverilog uvm verilog vpi vpi-api vpi-standard

Last synced: 21 Mar 2024