hennessy

There are 6 repositories under hennessy topic.

nxbyte/ARM-LEGv8
Verilog Implementation of an ARM LEGv8 CPU
Language:Verilog95 5 228
phillbush/legv8
LEGv8 CPU implementation and some tools like a LEGv8 assembler
Language:Verilog27 4 16
golovach-ivan/Correct-by-Construction
Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)
Language:Scala1 1 00
stoqey/hennessy
Hennessy - A very special Cognac (Market Data/IBKR/FINNHUB/BINANCE)
Language:TypeScript1 2 0
xaabi6/hennessy_device_tree
Hennessy device tree
Language:Java0 1 00
xaabi6/hennessy_vendor
Hennessy vendor
Language:Shell1 0