Pinned Repositories
ad
adxl345
aljabar
Extremely generic linear algebra libary for Rust
aljabar-framed
bazel-orfs
lie
Lie Group stuff.
nestor
si
symbolic
thiccrv32
A stupid thicc RISC-V core.
hovind's Repositories
hovind/ad
hovind/aljabar
Extremely generic linear algebra libary for Rust
hovind/aljabar-framed
hovind/bazel-orfs
hovind/bazel_rules_hdl
Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)
hovind/cart-pendulum
hovind/circt
Circuit IR Compilers and Tools
hovind/clifford
Clifford algebrae.
hovind/lie
Lie Group stuff.
hovind/nestor
hovind/si
hovind/symbolic
hovind/thiccrv32
A stupid thicc RISC-V core.
hovind/buck2-torch
hovind/conway
hovind/enfilade
Experiments in expressions of the type level variety.
hovind/fmac
hovind/ge
hovind/images
Docker images for the CIRCT project
hovind/laser_slam
This package provides an end-to-end system to laser-based graph SLAM using laser point clouds.
hovind/num-traits
Numeric traits for generic mathematics in Rust
hovind/OpenROAD-flow-scripts
OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/
hovind/raytracer
hovind/rules_foreign_cc
Build rules for interfacing with "foreign" (non-Bazel) build systems (CMake, configure-make, GNU Make, boost, ninja, Meson)
hovind/rules_scala
Scala rules for Bazel
hovind/surfer
hovind/tilelink
hovind/tinytapeout-verilog-test
PDM driver for TinyTapeout
hovind/wellen
wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
hovind/yosys
Yosys Open SYnthesis Suite