A Swiss Army knife of blockchain tools

A set of case studies for the Wintermute Alpha Challenge

Bind a java thread to a given core

Replicate your Key Value Store across your network, with consistency, persistance and performance.

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

Run Time for AIE and FPGA based platforms

Open source FPGA-based NIC and platform for in-network compute

FpgaNIC is an FPGA-based Versatile 100Gb SmartNIC for GPUs [ATC 22]

High-Frequency Trading Order Book with FPGA Acceleration

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

Icarus Verilog

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Versatile framework for multi-party computation

Hardcaml is an OCaml library for designing hardware.

Data Plane Development Kit

Linux kernel source tree

A microbenchmark support library

Static code checker for C++

A drop-in replacement for std::list with 293% faster insertion, 57% faster erasure, 17% faster iteration and 77% faster sorting on average. 20-24% speed increase in use-case testing.

A STARK-based VM focused on code reuse, performance, and modularity

🪩 verify plonky3 proofs in plonky2

JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.

The most advanced Merkle tree library for Rust