Skip to content
Change the repository type filter

All

    Repositories list

    • opentitan

      Public
      OpenTitan: Open source silicon root of trust
      SystemVerilog
      Apache License 2.0
      9743.2k1.5k394Updated Mar 23, 2026Mar 23, 2026
    • lowrisc-nix

      Public
      lowRISC Nix Packages and Environments
      Nix
      MIT License
      11813Updated Mar 22, 2026Mar 22, 2026
    • Reference OpenTitan Provisioning Infrastructure
      Go
      Apache License 2.0
      1013162Updated Mar 17, 2026Mar 17, 2026
    • dvsim

      Public
      DVSim is a build and run system written in Python that runs a variety of EDA tool flows
      Python
      Apache License 2.0
      96232Updated Mar 17, 2026Mar 17, 2026
    • Software, build flows and examples for the Sonata System
      C++
      Apache License 2.0
      171330Updated Mar 17, 2026Mar 17, 2026
    • A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
      C++
      Apache License 2.0
      3149149Updated Mar 16, 2026Mar 16, 2026
    • RISC-V Functional ISA Simulator
      C
      Other
      1k2002Updated Mar 16, 2026Mar 16, 2026
    • CHERI-RISC-V model written in Sail
      Isabelle
      Other
      25000Updated Feb 27, 2026Feb 27, 2026
    • Sail RISC-V model
      Coq
      Other
      253000Updated Feb 27, 2026Feb 27, 2026
    • sail

      Public
      Sail architecture definition language
      Isabelle
      Other
      152000Updated Feb 27, 2026Feb 27, 2026
    • UNSUPPORTED INTERNAL toolchain builds
      Shell
      214730Updated Feb 24, 2026Feb 24, 2026
    • qemu

      Public
      Fork of QEMU for development of lowRISC platforms (including OpenTitan)
      C
      Other
      6.6k9115Updated Feb 19, 2026Feb 19, 2026
    • ibex

      Public
      Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
      SystemVerilog
      Apache License 2.0
      7051.8k21539Updated Feb 17, 2026Feb 17, 2026
    • verilator

      Public
      Verilator open-source SystemVerilog simulator and lint system
      SystemVerilog
      Other
      782000Updated Feb 6, 2026Feb 6, 2026
    • A demo system for Ibex including debug support and some peripherals
      C
      Apache License 2.0
      7493137Updated Jan 21, 2026Jan 21, 2026
    • This repository houses PeakRDL plugins, named after Ben Nevis, the UK's tallest peak.
      SystemVerilog
      Apache License 2.0
      1000Updated Jan 7, 2026Jan 7, 2026
    • The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this …
      C++
      17k200Updated Jan 6, 2026Jan 6, 2026
    • binutils

      Public
      (Unsupported) lowRISC fork of Binutils
      C
      GNU General Public License v2.0
      1001Updated Nov 26, 2025Nov 26, 2025
    • Hot-plug devices into a Docker container as they are plugged.
      Rust
      51620Updated Nov 18, 2025Nov 18, 2025
    • lowRISC Style Guides
      Creative Commons Attribution 4.0 International
      128487191Updated Nov 6, 2025Nov 6, 2025
    • ot-sca

      Public
      Side-channel analysis setup for OpenTitan
      Jupyter Notebook
      Apache License 2.0
      3437275Updated Nov 3, 2025Nov 3, 2025
    • Serde Serializer with formatting controls
      Rust
      Apache License 2.0
      5100Updated Oct 16, 2025Oct 16, 2025
    • A RISC-V TestRIG Verification Engine based on QuickCheck
      Haskell
      BSD 2-Clause "Simplified" License
      11000Updated Sep 4, 2025Sep 4, 2025
    • cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.
      SystemVerilog
      Apache License 2.0
      24100Updated Aug 21, 2025Aug 21, 2025
    • TestRIG

      Public
      Testing processors with Random Instruction Generation
      Python
      Other
      18100Updated Aug 13, 2025Aug 13, 2025
    • A tiny parallel file copy utility
      Rust
      0100Updated Jul 4, 2025Jul 4, 2025
    • Sail code model of the CHERIoT ISA
      TeX
      Other
      18100Updated Jul 1, 2025Jul 1, 2025
    • An open silicon CHERIoT Ibex microcontroller chip
      C
      Apache License 2.0
      51862Updated May 23, 2025May 23, 2025
    • Bazel Python Rules
      Starlark
      Apache License 2.0
      677000Updated Apr 30, 2025Apr 30, 2025
    • muntjac

      Public
      64-bit multicore Linux-capable RISC-V processor
      SystemVerilog
      Apache License 2.0
      1410710Updated Apr 28, 2025Apr 28, 2025