Matthew Parkinson's repositories
workaround8649
This is a workaround for the 8649 issue on github actions.
cpython
The Python programming language
deepbindexample
Example of interaction between RTLD_DEEPBIND and LD_PRELOAD
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mimalloc
mimalloc is a compact general purpose allocator with excellent performance.
mimalloc-bench
Suite for benchmarking malloc implementations.
openenclave
SDK for developing enclaves
Pegmatite
A library for reusable parsers
rego-cpp
A C++ interpreter for the OPA policy language Rego
sdk-api
Public contributions for win32 API documentation
snmalloc-rs
rust bindings of snmalloc
snmalloc_sample_project
Sample project using snmalloc
starling-tool
An automatic verifier for concurrent algorithms.
verona_bigtable_test
Experiment to use Z3 for a layout component of the Verona Compiler. This has been published purely for shared debugging with Z3.
z3
The Z3 Theorem Prover