chritchens

elgamal-curve25519

ElGamal homomorphic encryption on Curve25519

ouroboros-rs

An high-level Rust wrapper to the Ouroboros protocol

commoner

A Rust CommonCrawl client.

spartan-rs

A Rust implementation of the Spartan protocol

aster

Toy programming language (WIP)

chritchens.github.io

Just my blog.

liquefy

A client for Liquidity Network hub nodes

mmn_dataset

MMN dataset

parity-bitcoin-unlimited

The Parity Bitcoin client

paycube

AtomVM

Tiny Erlang VM

bcoin

Javascript bitcoin library for node.js and browsers

bitcoinj-unlimited

A library for working with Bitcoin

c3c

Compiler for the C3 language

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).

FStar

Verification system for effectful programs

h11

I/O free HTTP/1.1 implementation for Zig 🦎

hacl-star

HACL*, a formally verified cryptographic library written in F*

HaskellNet

Haskell library which provides client support for POP3, SMTP, and IMAP protocols.

hitchens

An inarguably well-designed Jekyll theme. View the demo at

http

HTTP core types for Zig 🦴

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

may

rust stackful coroutine library

mmn-rs

MMN in Rust

optimus

Command line option parser for Elixir

ouroboros

Mirror of the Ouroboros packet network repository. Latest version and documentation is on the website.

random_test

Random test of random stuff

saltine

Cryptography that's easy to digest (NaCl/libsodium bindings)

sodiumoxide

Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)

tarpc

An RPC framework for Rust with a focus on ease of use.