2 results found Sort:

grin-compiler
ghc-whole-program-compiler-project grin-compiler
11
116
unknown
11
GHC Whole Program Compiler and External STG IR tooling
ghc stg haskell whole-program-compiler
Created 2020-05-27
619 commits to master branch, last one about a month ago
workcraft
workcraft workcraft
142
62
mit
10
Toolset to capture, simulate, synthesize and verify graph models
cad eda fsm stg async circuit petri-nets simulation logic-synthesis formal-verification formal-specification
Created 2016-02-07
4,830 commits to master branch, last one 3 days ago