Pinned Repositories
arrow-rs
Official Rust implementation of Apache Arrow
arrow2
transmute-free Rust library to work with the Arrow format
avalanche
Simulation of the Avalanche Protocol by Team Rocket
bls
bymc
Byzantine model checker
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
CircGen
ClickHouse
ClickHouse® is a free analytics DBMS for big data
csv-async
CSV parsing in async context
parquet2
Fastest and safest Rust implementation of parquet. `unsafe` free. Integration-tested against pyarrow
dantengsky's Repositories
dantengsky/bls
dantengsky/bymc
Byzantine model checker
dantengsky/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
dantengsky/curve25519-dalek
A low-level cryptographic library for point, group, field, and scalar operations on a curve isomorphic to the twisted Edwards curve defined by -x²+y² = 1 - 121665/121666 x²y² over GF(2²⁵⁵ - 19).
dantengsky/fractalchains
Algorand
dantengsky/gluon
A static, type inferred and embeddable language written in Rust.
dantengsky/haskoin
Haskell implementation of the Bitcoin protocol
dantengsky/HoneyBadgerBFT
The Honey Badger of BFT Protocols
dantengsky/hs-bls
Boneh–Lynn–Shacham signature scheme.
dantengsky/juno
Smart Contracts Running on a BFT Hardened Raft
dantengsky/million-dollar-curve
dantengsky/not-so-smart-contracts
Examples of Solidity security issues
dantengsky/tangaroa
A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.
dantengsky/zebra
An implementation of Verifiable ASICs (Oakland16), a.k.a. Zebra
dantengsky/zksnarks
ZK-Snarks in English