Pinned Repositories
betablogger
Configurable app that does things with static files
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/marvin-interpolate
Compile time String interpolation
JustusAdam/aoc-2020
Advent of Code 2020
JustusAdam/justusadam.github.io
Sources for my website
JustusAdam/gen-pw-rs
A simple generator for strong passwords that supports using dictionary sampling
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/dot-rust
A library for generating Graphviz DOT language files for graphs.
JustusAdam/firecracker
Secure and fast microVMs for serverless computing.
JustusAdam/freedit
The safest and lightest forum, powered by rust.
JustusAdam/hyperloop-rails.github.io
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/klee
KLEE Symbolic Execution Engine
JustusAdam/lobsters
Computing-focused community centered around link aggregation and discussion
JustusAdam/make-visitor
A proc macro to create a visitor from type definitions
JustusAdam/MIRAI
Rust mid-level IR Abstract Interpreter
JustusAdam/nom-sql
Rust SQL parser written using nom
JustusAdam/noria-mysql
MySQL/MariaDB protocol shim for Noria
JustusAdam/petgraph
Graph data structure library for Rust.
JustusAdam/rahashmap
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