rafalum
Follow
Stars
opensource self-hosted sandboxes for ai agents
Get up and running with Kimi-K2.5, GLM-5, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.
4 stage, in-order, compute RISC-V core based on the CV32E40P
Verilator open-source SystemVerilog simulator and lint system
Rust implementation of the Ethereum Virtual Machine.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
building blocks for accelerating ZK proofs over binary fields
Virtual whiteboard for sketching hand-drawn like diagrams
Python implementation of ECC pairing and bn_128 and bls12_381 curve operations
This is our old, archived payments app. For our current product, see our website.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Zcash FPGA acceleration engine
Official repository of the AWS EC2 FPGA Hardware and Software Development Kit
Small footprint and configurable PCIe core
Design circuit boards with code! ✨ Get software-like design reuse 🚀, validation, version control and collaboration in hardware; starting with electronics ⚡️
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
A FPGA friendly 32 bit RISC-V CPU implementation
A framework to quantify Web3-based browser fingerprinting and wallet address leakage (USENIX 2023).
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!