Christian Nyumbayire's repositories
mmn-rs
MMN in Rust
c3c
Compiler for the C3 language
h11
I/O free HTTP/1.1 implementation for Zig 🦎
http
HTTP core types for Zig 🦴
elgamal-curve25519
ElGamal homomorphic encryption on Curve25519
ouroboros-rs
An high-level Rust wrapper to the Ouroboros protocol
ouroboros
Mirror of the Ouroboros packet network repository. Latest version and documentation is on the website.
may
rust stackful coroutine library
spartan-rs
A Rust implementation of the Spartan protocol
mmn_dataset
MMN dataset
chritchens.github.io
Just my blog.
AtomVM
Tiny Erlang VM
hitchens
An inarguably well-designed Jekyll theme. View the demo at
HaskellNet
Haskell library which provides client support for POP3, SMTP, and IMAP protocols.
FStar
Verification system for effectful programs
hacl-star
HACL*, a formally verified cryptographic library written in F*
random_test
Random test of random stuff
kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
optimus
Command line option parser for Elixir
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).
sodiumoxide
Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)
saltine
Cryptography that's easy to digest (NaCl/libsodium bindings)
tarpc
An RPC framework for Rust with a focus on ease of use.
bcoin
Javascript bitcoin library for node.js and browsers
bitcoinj-unlimited
A library for working with Bitcoin
parity-bitcoin-unlimited
The Parity Bitcoin client