-
taiga Public
Forked from anoma/taigaA framework for generalized shielded state transitions
Rust GNU General Public License v3.0 UpdatedMay 24, 2024 -
cargo-typesize Public
List size of types in a Rust crate
-
hashseq Public
A BFT Sequence CRDT suitable for Permisonless Networks with Unbounded Number of participants
-
associative_positional_list Public
Forked from jwhitham/associative_positional_listAssociative Positional List (Rust crate)
Rust UpdatedApr 9, 2023 -
stateright Public
Forked from stateright/staterightA model checker for implementing distributed systems.
Rust MIT License UpdatedMar 28, 2023 -
muzei-desktop Public
New beautiful art wallpapers every day
-
-
-
rustc-dev-guide Public
Forked from rust-lang/rustc-dev-guideA guide to how rustc works and how to contribute to it.
HTML Apache License 2.0 UpdatedJul 16, 2022 -
ppar Public
Forked from prataprc/pparPersistent / Immutable array in Rust.
Rust MIT License UpdatedMar 28, 2022 -
blst-bulletproofs Public
Forked from dalek-cryptography/bulletproofsA pure-Rust implementation of Bulletproofs using Ristretto.
-
-
ctw Public
An Implementation of the Context Tree Weighting (CTW) Sequence Prediction Algorithm
-
crdt-website Public
Forked from ept/crdt-websiteSource of the crdt.tech website
CSS Apache License 2.0 UpdatedFeb 26, 2022 -
sn_handover Public
Forked from grumbach/sn_handoverGetting Elders to agree on a single value
Rust UpdatedJan 18, 2022 -
quickcheck Public
Forked from BurntSushi/quickcheckAutomated property based testing for Rust (with shrinking).
Rust The Unlicense UpdatedDec 30, 2021 -
bqn-mode Public
Forked from museoa/bqn-modeEmacs mode for BQN programming language
Emacs Lisp Other UpdatedDec 9, 2021 -
zenith Public
Forked from bvaisvil/zenithZenith - sort of like top or htop but with zoom-able charts, CPU, GPU, network, and disk usage
Rust MIT License UpdatedDec 2, 2021 -
pairing Public
Forked from zkcrypto/pairingPairing-friendly elliptic curve library.
Rust Other UpdatedNov 26, 2021 -
group Public
Forked from zkcrypto/groupElliptic curve group traits and utilities.
Rust Other UpdatedNov 26, 2021 -
ff Public
Forked from zkcrypto/ffTraits and utilities for working with finite fields.
Rust Apache License 2.0 UpdatedNov 24, 2021 -
-
Static Site Generator for the Remarkable Tablet
-
bulletproofs Public
Forked from ZenGo-X/bulletproofsBulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves
Rust GNU General Public License v3.0 UpdatedNov 18, 2021 -
bls12-381-ring-signatures Public
experiments in ring signatures over BLS12-381
Jupyter Notebook UpdatedNov 9, 2021 -
microKanren-py Public
Simple python3 implementation of microKanren with lots of type annotations for clarity
Python UpdatedNov 2, 2021 -
sketches Public
Program sketches, mostly written using some variant of processing
-
bls-signatures Public
Forked from filecoin-project/bls-signaturesBLS Signatures in Rust
Rust Other UpdatedOct 15, 2021 -
smart-manuscript Public
Forked from antemons/smart-manuscriptThis software recognizes (digitizes) handwritten manuscripts and digitizer-pen input.
-
remarkable-rs Public
Forked from reacocard/remarkable-rsRust tools and libraries for interacting with reMarkable cloud and devices.
{{ message }}