Pinned Repositories
bazel_rules_hdl
Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)
capdl
Capability Distribution Language tools for seL4
iree
👻
iree-rv32-springbok
iree-samples
libyaml
Canonical source repository for LibYAML
misc-linters
Some Internal Linter Scripts
hcindyl's Repositories
hcindyl/bazel_rules_hdl
Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)
hcindyl/capdl
Capability Distribution Language tools for seL4
hcindyl/iree
👻
hcindyl/iree-rv32-springbok
hcindyl/iree-samples
hcindyl/libyaml
Canonical source repository for LibYAML
hcindyl/misc-linters
Some Internal Linter Scripts
hcindyl/mpact-riscv
hcindyl/mpact-sim
hcindyl/opentitan
OpenTitan: Open source silicon root of trust
hcindyl/renode
Renode - Antmicro's virtual development framework for complex embedded systems
hcindyl/renode-infrastructure
hcindyl/seL4
The seL4 microkernel
hcindyl/sparrow-manifest
Project Sparrow: Repo Materials
hcindyl/systemc-compiler
This tool translates synthesizable SystemC code to synthesizable SystemVerilog.
hcindyl/tensorflow
An Open Source Machine Learning Framework for Everyone
hcindyl/test-camkes-tool
The main CAmkES tool
hcindyl/tlib