Mojo-V: A RISC-V instruction set extension for privacy-oriented programming. Mojo-V allows programmers to write software that computes on data that no software or person can see, except the data owner. Mojo-V implements this novel form of secret computation using simple extensions to a RISC-V CPU.
☆144Jun 24, 2026Updated 2 weeks ago
Alternatives and similar repositories for mojo-v
Users that are interested in mojo-v are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- fbDOOM with RISC-V Vector optimizations☆17Aug 30, 2023Updated 2 years ago
- Handle Fast Signal Traces (fst) in Python☆16Jun 11, 2025Updated last year
- spike-vp☆13Feb 5, 2024Updated 2 years ago
- Fuzzing for SpinalHDL☆17Oct 10, 2022Updated 3 years ago
- A RISC-V RV32 model ready for SMT program synthesis.☆12Jun 23, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Design Verification Engineer interview preparation guide.☆51Jul 20, 2025Updated 11 months ago
- ☆22Aug 8, 2023Updated 2 years ago
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆70May 25, 2026Updated last month
- DOOM Open Source Release☆38Jun 9, 2016Updated 10 years ago
- Group administration repository for Tech: IOPMP Task Group☆13Dec 19, 2024Updated last year
- TBD - The Tmux Bash Debugger☆12Oct 23, 2024Updated last year
- The RISC-V External Debug Security Specification☆20Jun 3, 2026Updated last month
- Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores☆35Jun 26, 2026Updated last week
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11Jun 26, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Glacial - microcoded RISC-V core designed for low FPGA resource utilization☆88Oct 29, 2019Updated 6 years ago
- Translate RISC-V Vector Assembly from v1.0 to v0.7☆37Aug 21, 2024Updated last year
- Configures an IBM Cloud Object Storage instance and bucket☆12Updated this week
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Andes OpenEmbedded (OE) BSP Layer☆20Jun 18, 2026Updated 3 weeks ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Sep 6, 2015Updated 10 years ago
- snickerdoodle Linux☆18Sep 10, 2018Updated 7 years ago
- OFDM implementation for GNURadio using UHD☆12Sep 27, 2011Updated 14 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Repo for PyChart 1.39, refs http://download.gna.org/pychart/☆10Sep 29, 2014Updated 11 years ago
- ☆18Feb 27, 2025Updated last year
- A runtime DSL parser generator for python.☆18May 17, 2016Updated 10 years ago
- A testbed for RISCV vulnerable binaries that aims to produce meaningful fingerprints recognizable by a Control Flow integrity Machine Lea…☆18Mar 1, 2024Updated 2 years ago
- Working Draft of the RISC-V J Extension Specification☆195Mar 6, 2026Updated 4 months ago
- Secbench is an open-source framework for hardware security characterization☆23Jan 15, 2026Updated 5 months ago
- ☆20Jan 8, 2019Updated 7 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fintie Sets in Cubical Agda☆13Aug 30, 2019Updated 6 years ago
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- Tool for generating multi-purpose makefiles for FPGA projects (clone of hdlmake from CERN)☆18Aug 16, 2021Updated 4 years ago
- Analysis of Racket code base☆13Aug 27, 2020Updated 5 years ago
- Multiple 1-stencil implementations using nvidia cuda.☆12Dec 2, 2017Updated 8 years ago