-
snarkOS Public
Forked from ProvableHQ/snarkOSA Decentralized Operating System for ZK Applications
Rust Apache License 2.0 UpdatedJan 16, 2026 -
locktick Public
Forked from ljedrz/locktickAutomated lock accounting & profiling
Rust Creative Commons Zero v1.0 Universal UpdatedJan 11, 2026 -
-
-
-
snarkVM Public
Forked from ProvableHQ/snarkVMA zkVM for Decentralized Private Computations (DPC)
Rust Apache License 2.0 UpdatedJul 30, 2025 -
self-replace Public
Forked from mitsuhiko/self-replaceUtility library that helps to implement processes that replace themselves
Rust Apache License 2.0 UpdatedJul 10, 2025 -
kioto-uring-executor Public
A simple multi-threaded wrapper around tokio-uring
-
lsm-rs Public
Modular, Asynchronous Implementation of a Log-Structured Merge Tree
-
rusty-hooks Public
Forked from swellaby/rusty-hookgit hook manager, geared toward Rust projects
-
-
envmnt Public
Forked from sagiegurari/envmntEnvironment variables utility functions.
Rust Apache License 2.0 UpdatedJun 7, 2025 -
leo Public
Forked from ProvableHQ/leo🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Rust GNU General Public License v3.0 UpdatedMay 29, 2025 -
-
blockchain-simulator Public
Simulate a blockchain network in a single process.
-
aleo-welcome Public
Forked from AleoNet/welcomeWelcome to the Aleo Network community.
GNU General Public License v3.0 UpdatedFeb 26, 2025 -
getrandom Public
Forked from rust-random/getrandomA small cross-platform library for retrieving random data from (operating) system source
Rust Apache License 2.0 UpdatedFeb 17, 2025 -
-
-
crosstex-dbgen Public
Forked from el33th4x0r/crosstex-dbgenTool that imports citation data from DBLP for use by CrossTeX
Python UpdatedDec 29, 2024 -
wke Public
Scripts to set up and run experiments in distributed systems
-
plex Public
Forked from goffrie/plexa parser and lexer generator as a Rust procedural macro
Rust Apache License 2.0 UpdatedDec 10, 2024 -
-
yael Public
An object-oriented event loop written in modern C++
-
-
-
-
bitstream Public
Quickly serialize data in C++17
-
-
{{ message }}