3 results found Sort:

chipsalliance
Surelog chipsalliance
69
369
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,618 commits to master branch, last one 7 days ago
brendanzab
language-garden brendanzab
4
177
unknown
6
A garden of small programming language implementations 🪴
compilers l-systems compilation elaboration typechecking dependent-types programming-languages
Created 2022-09-10
845 commits to main branch, last one 9 days ago
jonsterling
dreamtt jonsterling
3
82
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