Repositories list

• ecosystem

  Public
  The central repository for working with the Proteus ecosystem and RISC-V core.

  C

  •55 forks•44 stars•00 issues•11 pull request•Updated Sep 2, 2026Sep 2, 2026

• proteus

  Public
  The SpinalHDL design of the Proteus core, an extensible RISC-V core.

  securitycpuresearch+ 7

  securitycpuresearchfpgahardwareriscvrtlverilogrisc-vspinalhdl

  Scala

  •

  MIT License

  •1717 forks•6464 stars•00 issues•77 pull requests•Updated Jun 18, 2026Jun 18, 2026

• prospect

  Public
  ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.

  securityspectrespeculation+ 1

  securityspectrespeculationrisc-v

  C

  •

  MIT License

  •44 forks•2121 stars•00 issues•00 pull requests•Updated May 18, 2026May 18, 2026

• embench

  Public
  The Embench benchmarks repository modified for the Proteus ecosystem

  C

  •

  GNU General Public License v3.0

  •145145 forks•11 star•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• newlib

  Public archive
  Board support package for Newlib on Proteus, now integrated into the ecosystem.

  Linker Script

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated Sep 12, 2025Sep 12, 2025

• cheritree

  Public
  Snapshot of the three implementations (in Sail, Proteus and Morello, respectively) discussed in our EuroS&P 2023 paper "CHERI-TrEE: Flexible enclaves on capabil…

  Rocq Prover

  •11 fork•44 stars•00 issues•00 pull requests•Updated Jun 19, 2025Jun 19, 2025

• libra

  Public
  Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors

  LLVM

  •

  MIT License

  •11 fork•44 stars•00 issues•00 pull requests•Updated Sep 6, 2024Sep 6, 2024

• ami

  Public
  Snapshot of the AMi implementation discussed in our S&P 2024 paper "Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage i…

  Scala

  •

  MIT License

  •11 fork•22 stars•00 issues•00 pull requests•Updated May 9, 2024May 9, 2024