Pinned Repositories
cvrdt-exposition
Understanding Convergent Replicated Data Types
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
keep-ds-weird
kompreni
Understanding OCaml with abstract algebra examples
online_problems
A collection of my solutions to various online exercises
open-hypergraphs
Rust (re-)implementation of https://github.com/statusfailed/open-hypergraphs
scum
Write me a Scheme-ish
genos's Repositories
genos/open-hypergraphs
Rust (re-)implementation of https://github.com/statusfailed/open-hypergraphs
genos/dissert_and_defense
My dissertation (!) and the defense thereof
genos/e2c2
Edwards Elliptic Curve Cryptography
genos/genos-cv
LaTeX CV from yaml via pandoc
genos/genos.github.io
My website
genos/cvrdt-exposition
Understanding Convergent Replicated Data Types
genos/keep-ds-weird
genos/kompreni
Understanding OCaml with abstract algebra examples
genos/online_problems
A collection of my solutions to various online exercises
genos/scum
Write me a Scheme-ish
genos/Workbench
My programming stuff
genos/acgt
A silly example, intended to show how algebraic structure (commutative monoids) can yield computational benefits (map-shuffle-reduce parallelism).
genos/ascb
Algebraic Structure ⇒ Computational Benefits
genos/dotfiles
Saving my dotfiles in case of computer disaster
genos/quil-vim
Syntax highlighting for https://quil-lang.github.io/
genos/razor
Using Hutton's Razor to play with different programming languages and paradigms.
genos/tiny_api_demo
Tiny Demo REST API in Python
genos/tree-sitter-quil
Quil grammar for tree-sitter
genos/ttkv
Time traveling key-value store(s)