2 results found Sort:

grin-compiler
ghc-whole-program-compiler-project grin-compiler
12
116
unknown
11
GHC Whole Program Compiler and External STG IR tooling
ghc stg haskell whole-program-compiler
Created 2020-05-27
614 commits to master branch, last one 11 months ago
workcraft
workcraft workcraft
142
60
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,758 commits to master branch, last one 3 days ago