-
-
ahaHLS Public
An open source high level synthesis (HLS) tool built on top of LLVM
-
-
-
-
-
-
zipperposition Public
Forked from sneeuwballen/zipperpositionAn automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…
OCaml BSD 2-Clause "Simplified" License UpdatedMar 11, 2021 -
-
-
-
-
-
-
-
-
soda-compiler Public
Forked from UCLA-VAST/soda-compilerStencil with Optimized Dataflow Architecture Compiler
-
aws-fpga Public
Forked from aws/aws-fpgaOfficial repository of the AWS EC2 FPGA Hardware and Software Development Kit
VHDL Other UpdatedApr 8, 2020 -
-
-
embeddedHaskellAetherling Public
Forked from David-Durst/embeddedHaskellAetherlingHaskell BSD 3-Clause "New" or "Revised" License UpdatedMar 18, 2020 -
-
Halide-to-Hardware Public
Forked from StanfordAHA/Halide-to-Hardware_archive -
-
-
TinyCPU Public
Educational Verilog CPU Implementations of a Tiny Instruction Set
-
blarney Public
Forked from blarney-lang/blarneyHardware description in Haskell
Haskell Other UpdatedAug 25, 2019 -
-
-
{{ message }}