3 results found Sort:

chipsalliance
Surelog chipsalliance
68
374
apache-2.0
27
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
uvm vpi antlr linter parser verilog vpi-api parser-ast python-api elaboration preprocessor vpi-standard systemverilog antlr4-grammar
Created 2019-10-30
6,622 commits to master branch, last one 14 days ago
brendanzab
language-garden brendanzab
5
178
unknown
6
A garden of small programming language implementations 🪴
compilers l-systems compilation elaboration typechecking dependent-types programming-languages
Created 2022-09-10
900 commits to main branch, last one 3 days ago
jonsterling
dreamtt jonsterling
3
81
apache-2.0
8
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
tutorial elaboration dependent-types
Created 2020-10-15
101 commits to main branch, last one 3 years ago