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/jonsterling.png)
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/brendanzab.png)
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
![](https://github.com/chipsalliance.png)