Popular repositories Loading

1. WordReminder WordReminder Public

   App that simplifies to remember words

   Java

2. Vector-Instructions Vector-Instructions Public

   Tryout several applications for x86_64 vector instructions (SIMD)

   C

3. vipbundle vipbundle Public

   Forked from CTSRD-CHERI/vipbundle

   A verilog IP bundling tool

   Haskell

4. riscv-cheri riscv-cheri Public

   Forked from riscv/riscv-cheri

   This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.

   Python

5. sail-riscv sail-riscv Public

   Forked from riscv/sail-riscv

   Sail RISC-V model

   Coq