justine stephenson's Projects
an actor system library for C++.
A Cargo subcommand for working with feL4 projects.
a collection of scripts for CMake.
an experimental concurrency proof for verified programming languages.
my homepage.
the jaunty dependency preprocessor
Building seL4 and generating Rust bindings based on feL4 configuration
a general-purpose utility library for C++ with a focus on reliability.
an Erlang supervisor that associates dynamically created children with names specified at run-time.
a parallelized, amortized-constant time allocator for objects smaller than a hardware page.
substitution of arbitrary RCS-style keywords, enhanced with netstrings.
construct Erlang supervision trees programmatically.
a vim plugin for Dafny, a verified programming language.
stow package for my vim configuration
A Vim mode for FStar