Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.Sign up
a parallelized, amortized-constant time allocator for objects smaller than a hardware page.
construct Erlang supervision trees programmatically.
an Erlang supervisor that associates dynamically created children with names specified at run-time.
an experimental concurrency proof for verified programming languages.
a collection of scripts for CMake.
a general-purpose utility library for C++ with a focus on reliability.