JustusAdam

mustache

Haskell implementation of mustache templates

language-haskell

Highlighting support for the Haskell language in visual studio code.

marvin

The paranoid bot (framework)

marvin-interpolate

Compile time String interpolation

aoc-2020

Advent of Code 2020

justusadam.github.io

Sources for my website

gen-pw-rs

A simple generator for strong passwords that supports using dictionary sampling

make-visitor

A proc macro to create a visitor from type definitions

noria

Dynamically changing, partially-stateful data-flow for web application backends.

allocative

Library and proc macro to analyze memory usage of data structures in rust.

beaver-rust

beavered-websubmit

Class submission syste, protected with type based, static IFC

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:

dot-rust

A library for generating Graphviz DOT language files for graphs.

firecracker

Secure and fast microVMs for serverless computing.

freedit

The safest and lightest forum, powered by rust.

hyperloop-rails.github.io

indexmap

A hash table with consistent order and fast iteration; access items by key or sequence index

kani

Kani Rust Verifier

kani-verifier-blog

lobsters

Computing-focused community centered around link aggregation and discussion

MIRAI

Rust mid-level IR Abstract Interpreter

nom-sql

Rust SQL parser written using nom

noria-mysql

MySQL/MariaDB protocol shim for Noria

paralegal-compiler

petgraph

Graph data structure library for Rust.

rahashmap

rust

Empowering everyone to build reliable and efficient software.

rustc_plugin

A framework for writing plugins that integrate with the Rust compiler

toml

Rust TOML Parser