nxbyte / ARM-LEGv8 Star 95 Code Issues Pull requests Verilog Implementation of an ARM LEGv8 CPU arm verilog xilinx isa vivado hazard-detection ldr pipeline-cpu single-cycle hennessy patterson legv8-arm multi-cycle arm-legv8-simulator forwarding-unit Updated Oct 3, 2018 Verilog
phillbush / legv8 Star 27 Code Issues Pull requests LEGv8 CPU implementation and some tools like a LEGv8 assembler awk verilog pipeline-processor pipeline-cpu single-cycle hennessy patterson legv8-arm legv8 single-cycle-processor hennessy-and-patterson Updated Nov 28, 2020 Verilog
stoqey / hennessy Sponsor Star 1 Code Issues Pull requests Hennessy - A very special Cognac (Market Data/IBKR/FINNHUB/BINANCE) market hennessy binance ibkr finnhub-api Updated Nov 12, 2020 TypeScript
golovach-ivan / Correct-by-Construction Star 1 Code Issues Pull requests Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics) logic spatial namespace ccs higher-order reflective hennessy milner Updated Oct 20, 2018 Scala
xaabi6 / hennessy_vendor Star 0 Code Issues Pull requests Hennessy vendor hennessy Updated Oct 18, 2016 Shell
xaabi6 / hennessy_device_tree Star 0 Code Issues Pull requests Hennessy device tree hennessy Updated Oct 19, 2016 Java