- Canberra, Australia
Starred repositories
Minimalistic snapshot testing for Rust.
A fast and flexible allocator for no_std and WebAssembly
D2 is a modern diagram scripting language that turns text to diagrams.
Rhai - An embedded scripting language for Rust.
Hierarchical state machines for designing event-driven systems
a project to visualize global weather conditions
Sample serverless application written in Rust
Keywind is a component-based Keycloak Login Theme built with Tailwind CSS
Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.
LVGL bindings for Rust. A powerful and easy-to-use embedded GUI with many widgets, advanced visual effects (opacity, antialiasing, animations) and low memory requirements (16K RAM, 64K Flash).
List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via CI or a CLI.
a structural diff that understands syntax 🟥🟩
Collection of CI configuration files for Rust projects
A static verifier for Rust, based on the Viper verification infrastructure.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
A rust library for parsing ethernet & ethernet using protocols.
No-assurance libraries for rapid-prototyping of seL4 apps.
Prototype no-assurance reference OS personality built on seL4
An interpreter for Rust's mid-level intermediate representation
A bootloader and experimentation playground for Apple Silicon
IO-agnostic line editor for embedded systems