chritchens Goto Github PK

agentscript

Minimalist Agent Based Modeling (ABM) framework based on NetLogo

angularjs-gulp-browserify-boilerplate

Boilerplate using AngularJS, SASS, Gulp, and Browserify and utilizing best practices.

aster

Toy programming language (WIP)

atomvm

Tiny Erlang VM

bcoin

Javascript bitcoin library for node.js and browsers

bitcoinj-unlimited

A library for working with Bitcoin

bitcore

A pure and powerful JavaScript Bitcoin library

body-parser

JSON body parsing for iron

btcd-unlimited

An alternative full node bitcoin implementation written in Go (golang)

c3c

Compiler for the C3 language

chritchens.github.io

Just my blog.

commoner

A Rust CommonCrawl client.

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

elgamal-curve25519

ElGamal homomorphic encryption on Curve25519

fstar

Verification system for effectful programs

funcparserlib

Recurisve descent parsing library for Python based on functional combinators

h11

I/O free HTTP/1.1 implementation for Zig 🦎

hackatron.github.com

hacl-star

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

haskell-talk

Haskell talk at H-Farm

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

liquefy

A client for Liquidity Network hub nodes

logger

Morgan-inspired request logger middleware for Iron

lol

A library for ring-based lattice cryptography

materialize-stacked

Stacked effects for materializecss

may

rust stackful coroutine library

mmn-rs

MMN in Rust