JustusAdam/justusadam.github.io
Sources for my website
PhD student working on systems for privacy and security.
Repositories
JustusAdam/phd-thesis
JustusAdam/cargo-compile-setup-test
JustusAdam/finnorm
LEAN 4 Tactic for normalize equalities for expression that add and subtract `Fin n` values
JustusAdam/ocaml-recursion-schemes
Playing around with recursion schemes in OCaml
JustusAdam/fpv2025
Lecture notes, exercises, homeworks for Brown CS 1951x 2025
JustusAdam/freedit
The safest and lightest forum, powered by rust.
JustusAdam/rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
JustusAdam/mustache
Haskell implementation of mustache templates
JustusAdam/rachitnigam.com
Rachit Nigam's personal website.
JustusAdam/zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
JustusAdam/marvin
The paranoid bot (framework)
JustusAdam/codeql-experimentation
JustusAdam/zenodo-upload
upload big files to Zenodo using cURL, jq and bash
JustusAdam/paralegal-compiler
JustusAdam/gen-pw-rs
A simple generator for strong passwords that supports using dictionary sampling
JustusAdam/make-visitor
A proc macro to create a visitor from type definitions
JustusAdam/cast-finder
A tiny tool that finds casts in C programs
JustusAdam/betablogger
Configurable app that does things with static files
JustusAdam/toml
Rust TOML Parser
JustusAdam/indexmap
A hash table with consistent order and fast iteration; access items by key or sequence index
JustusAdam/kani-verifier-blog
JustusAdam/petgraph
Graph data structure library for Rust.
JustusAdam/allocative
Library and proc macro to analyze memory usage of data structures in rust.
JustusAdam/firecracker
Secure and fast microVMs for serverless computing.
JustusAdam/elm-monad
Useful Monads in Elm
JustusAdam/vscode-asciidoc
Asciidoc language support for Visual Studio Code editor (with Asciidoctor flavor).
JustusAdam/kani
Kani Rust Verifier
JustusAdam/python-typesafety
A decorator for python functions that does type checking.
JustusAdam/elm-reactor-index
A new Index page for the elm-reactor