Pinned Repositories
aoc-2023
Advent of Code 2023
aocp-dafny
Dafny programs loosely following The Art of Computer Programming
code-samples
Proof that I know how to code
credagent
gospel-library-notebook-sharing
Tools to facilitate import and export of notebooks from Gospel Library
ideas-rs
Small Rust utilities that seem useful but are just ideas
iloot
OpenSource tool for iCloud backup extraction
istanbul-game
Implementation of rules of Istanbul board game
papers
Code related to CS papers
nverhaaren's Repositories
nverhaaren/aoc-2023
Advent of Code 2023
nverhaaren/aocp-dafny
Dafny programs loosely following The Art of Computer Programming
nverhaaren/code-samples
Proof that I know how to code
nverhaaren/credagent
nverhaaren/gospel-library-notebook-sharing
Tools to facilitate import and export of notebooks from Gospel Library
nverhaaren/ideas-rs
Small Rust utilities that seem useful but are just ideas
nverhaaren/iloot
OpenSource tool for iCloud backup extraction
nverhaaren/istanbul-game
Implementation of rules of Istanbul board game
nverhaaren/papers
Code related to CS papers
nverhaaren/ruffle
A Flash Player emulator written in Rust
nverhaaren/rust_wordle_utils
Some utils for Wordle like games in Rust, for fun
nverhaaren/self-belay
Rust library for traversing and mutating tree structures
nverhaaren/test
The name says it all.
nverhaaren/tlcp-examples
feel free to send me like...those requests to push or whatever. I forget how this site works
nverhaaren/util
General utilities without dependencies on my other repos