Marcus Klaas de Vries

sortedvec. Rust vector types without dependencies that enable quick lookups

lisp-interpreter. A bare bones lisp parser & interpreter

Achtung--die-Kurve-. Remake of the classic Achtung die Kurve using HTML5 websockets

backbonzo. secure backup automater in rust

yapm-client. super-straight-forward-single-user-json-aes-based-online-password-manager

tower-of-hanoi. proof using the lean prover that the towers of hanoi problem is solvable

rough-graph-experiments. experiments with d3 and rough.js

yaps. Yapm server in Haskell

yapm-server. Password library end point for yet-another-password-manager

spotify-challenge. solution to the spotify hard programming challenge in rust

grunt-inline-alt. Brings externally referenced resources into a single file.

modal-logic-cheat-sheet. things one should know going into the exam

parser-dos-demo. HTML

idris-playthings. Idris

logical-verification-project. proving some basic theorems in modal logic

password-cli. password manager command line interface