Pinned Repositories
paralegal
Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
elm-init
Initialise scaffolding for a new Elm project
elm-monad
Useful Monads in Elm
language-asciidoc
AsciiDoc support for visual studio code
language-haskell
Highlighting support for the Haskell language in visual studio code.
marvin
The paranoid bot (framework)
mustache
Haskell implementation of mustache templates
kani
Kani Rust Verifier
ohua-core
Core Haskell library for the compiler
ohuac
A standalone compiler for ohua algorithms
JustusAdam's Repositories
JustusAdam/mustache
Haskell implementation of mustache templates
JustusAdam/language-haskell
Highlighting support for the Haskell language in visual studio code.
JustusAdam/marvin
The paranoid bot (framework)
JustusAdam/justusadam.github.io
Sources for my website
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/noria
Dynamically changing, partially-stateful data-flow for web application backends.
JustusAdam/allocative
Library and proc macro to analyze memory usage of data structures in rust.
JustusAdam/beaver-rust
JustusAdam/beavered-websubmit
Class submission syste, protected with type based, static IFC
JustusAdam/binserve
A fast production-ready static web server with TLS (HTTPS), routing, hot reloading, caching, templating, and security in a single-binary you can set up with zero code. :zap:
JustusAdam/codeql-experimentation
JustusAdam/dot-rust
A library for generating Graphviz DOT language files for graphs.
JustusAdam/firecracker
Secure and fast microVMs for serverless computing.
JustusAdam/fpv2025
Lecture notes, exercises, homeworks for Brown CS 1951x 2025
JustusAdam/freedit
The safest and lightest forum, powered by rust.
JustusAdam/indexmap
A hash table with consistent order and fast iteration; access items by key or sequence index
JustusAdam/kani
Kani Rust Verifier
JustusAdam/kani-verifier-blog
JustusAdam/lobsters
Computing-focused community centered around link aggregation and discussion
JustusAdam/MIRAI
Rust mid-level IR Abstract Interpreter
JustusAdam/noria-mysql
MySQL/MariaDB protocol shim for Noria
JustusAdam/paralegal-compiler
JustusAdam/petgraph
Graph data structure library for Rust.
JustusAdam/rachitnigam.com
Rachit Nigam's personal website.
JustusAdam/rust
Empowering everyone to build reliable and efficient software.
JustusAdam/rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
JustusAdam/toml
Rust TOML Parser
JustusAdam/zenodo-upload
upload big files to Zenodo using cURL, jq and bash
JustusAdam/zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org