ljedrz
Follow
-
snarkVM Public
Forked from AleoNet/snarkVMA Distributed Virtual Machine for Zero-Knowledge Executions
Rust GNU General Public License v3.0 UpdatedNov 21, 2024 -
snarkOS Public
Forked from AleoNet/snarkOSA Decentralized Operating System for Private Applications
Rust GNU General Public License v3.0 UpdatedSep 24, 2024 -
-
pea2pea Public
A simple, low-level, and customizable implementation of a TCP P2P node.
-
quickie Public
A simple, low-level, and customizable implementation of a QUIC P2P node.
-
lambda_calculus Public
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
-
locktick Public
Automated lock accounting & profiling
-
-
aleo-std Public
Forked from ProvableHQ/aleo-stdRust GNU General Public License v3.0 UpdatedDec 18, 2023 -
jemallocator Public
Forked from tikv/jemallocatorRust allocator using jemalloc as a backend
Rust Other UpdatedMay 30, 2023 -
bullshark-bft Public
Forked from eqlabs/bullshark-bftNarwhal + Bullshark BFT
Rust Apache License 2.0 UpdatedMay 12, 2023 -
quinn Public
Forked from quinn-rs/quinnAsync-friendly QUIC implementation in Rust
Rust Apache License 2.0 UpdatedMay 11, 2023 -
enum_index Public
Forked from regresscheck/enum_indexSimple trait to extract variant index from enum
Rust UpdatedFeb 21, 2023 -
aleo Public
Forked from ProvableHQ/sdkA Software Development Kit (SDK) for Zero-Knowledge Transactions
Rust GNU General Public License v3.0 UpdatedFeb 1, 2023 -
leo Public
Forked from ProvableHQ/leoThe Leo Programming Language - A functional, statically-typed language for zero-knowledge applications
Rust UpdatedFeb 1, 2023 -
recruitment-exercises Public
Forked from eqlabs/recruitment-exercisesProgramming assignments for candidates
UpdatedNov 29, 2022 -
-
NAC Public
Not A Community: a code of conduct aiming to avoid community issues by minimizing the community aspect itself.
-
deadline Public
Forked from niklaslong/deadlineA one-macro crate to ensure assertions meet their deadlines.
Rust MIT License UpdatedAug 3, 2022 -
kadmium Public
Forked from niklaslong/kadmiumA broadcast protocol implementation based on Kadcast.
Rust MIT License UpdatedJul 24, 2022 -
ziggurat Public
Forked from runziggurat/zcashThe Zcash Network Stability Framework
Rust Apache License 2.0 UpdatedJun 30, 2022 -
-
rust-websocket-lite Public
Forked from 1tgr/rust-websocket-liteA fast, low-overhead WebSocket client
Rust MIT License UpdatedMar 29, 2022 -
spectre Public
Forked from niklaslong/spectreA lightweight toolkit for analysing p2p network topologies.
Rust MIT License UpdatedMar 3, 2022 -
crepe Public
Forked from ekzhang/crepeDatalog compiler embedded in Rust as a procedural macro
Rust Apache License 2.0 UpdatedMar 2, 2022 -
Rust library to create a Good Game Easily
Rust MIT License UpdatedFeb 22, 2022 -
tui-rs Public
Forked from fdehau/tui-rsBuild terminal user interfaces and dashboards using Rust
Rust MIT License UpdatedDec 23, 2021 -
-
atomic-instant Public
Forked from Protryon/atomic-instantAtomic wrapper for quanta::Instant
Rust UpdatedOct 11, 2021 -
quanta Public
Forked from metrics-rs/quantahigh-speed timing library in Rust
Rust MIT License UpdatedOct 11, 2021