-
capdl Public
Forked from seL4/capdlCapability Distribution Language tools for seL4
Haskell UpdatedJun 17, 2024 -
-
bazel_rules_hdl Public
Forked from hdl/bazel_rules_hdlHardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)
Starlark Apache License 2.0 UpdatedMar 13, 2024 -
-
libyaml Public
Forked from yaml/libyamlCanonical source repository for LibYAML
C MIT License UpdatedAug 4, 2023 -
opentitan Public
Forked from lowRISC/opentitanOpenTitan: Open source silicon root of trust
SystemVerilog Apache License 2.0 UpdatedJun 13, 2023 -
-
iree-samples Public
Forked from iree-org/iree-experimentalPython Apache License 2.0 UpdatedMay 11, 2023 -
-
sparrow-manifest Public
Forked from rminnich/sparrow-manifestProject Sparrow: Repo Materials
Apache License 2.0 UpdatedFeb 19, 2023 -
iree-rv32-springbok Public
Forked from AmbiML/iree-rv32-springbokCMake Apache License 2.0 UpdatedFeb 16, 2023 -
-
test-camkes-tool Public
Forked from seL4/camkes-toolThe main CAmkES tool
Python Other UpdatedJul 29, 2022 -
systemc-compiler Public
Forked from intel/systemc-compilerThis tool translates synthesizable SystemC code to synthesizable SystemVerilog.
C++ Other UpdatedMay 26, 2022 -
misc-linters Public
Forked from lowRISC/misc-lintersSome Internal Linter Scripts
Python Apache License 2.0 UpdatedApr 4, 2022 -
renode Public
Forked from renode/renodeRenode - Antmicro's virtual development framework for complex embedded systems
C# Other UpdatedJan 14, 2022 -
tensorflow Public
Forked from tensorflow/tensorflowAn Open Source Machine Learning Framework for Everyone
C++ Apache License 2.0 UpdatedDec 9, 2021 -
{{ message }}