genos

dissert_and_defense

My dissertation (!) and the defense thereof

e2c2

Edwards Elliptic Curve Cryptography

genos-cv

LaTeX CV from yaml via pandoc

genos.github.io

My website

open-hypergraphs

Rust (re-)implementation of https://github.com/statusfailed/open-hypergraphs

cvrdt-exposition

Understanding Convergent Replicated Data Types

keep-ds-weird

kompreni

Understanding OCaml with abstract algebra examples

online_problems

A collection of my solutions to various online exercises

scum

Write me a Scheme-ish

Workbench

My programming stuff

acgt

A silly example, intended to show how algebraic structure (commutative monoids) can yield computational benefits (map-shuffle-reduce parallelism).

ascb

Algebraic Structure ⇒ Computational Benefits

dotfiles

Saving my dotfiles in case of computer disaster

quil-vim

Syntax highlighting for https://quil-lang.github.io/

razor

Using Hutton's Razor to play with different programming languages and paradigms.

tiny_api_demo

Tiny Demo REST API in Python

tree-sitter-quil

Quil grammar for tree-sitter

ttkv

Time traveling key-value store(s)