- Utrecht, The Netherlands
Starred repositories
A fuzzing tool for incremental compilation that walks git history
Automated property based testing for Rust (with shrinking).
A free book about developing secure and robust systems software.
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…
Fuzz your Rust code with Google-developed Honggfuzz !
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
Async, cloud orientated FTP(S) server library with extensions
Software Foundations in Idris
Angrave's Crowd-Sourced System Programming Book used at UIUC
A statically typed lisp, without a GC, for real-time applications.
🦀 Small exercises to get you used to reading and writing Rust code!
Cross-platform Rust rewrite of the GNU coreutils
📚 Freely available programming books