Stars
Self-hosted JMAP webmail for Stalwart Mail Server. Mail, calendar, contacts, and files in one client.
A bi-directional converter between Typst and LaTeX. Available as both a CLI tool and a Web interface.
Multi-architecture emulation for the modern era.
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
A context-aware concrete Error type built on core::error::Error.
Shuttle is a library for testing concurrent Rust code
A multi-platform (Flutter) application for reading your emails, with your favorite devices, using the JMAP protocol!
Community-built comprehensive 2D content creation appplication for graphic design, digital art, and interactive real-time motion graphics powered by a node-based procedural graphics engine
Modern JMAP webmail client built for Stalwart Mail Server. Privacy-focused, responsive, with real-time updates.
A profiling and tracing system for Embedded Rust that visualizes Embassy tasks, function calls, metrics and defmt logs in the Perfetto UI.
Code examples for my master thesis "Verification in Rust"
Documentation, code and information for the Safety Critical Rust Consortium
Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
Verification infrastructure for the Isabelle/HOL interactive proof assistant
Source code of Ferrocene, safety-critical Rust toolchain
Formally verified implementation of the CoAP protocol in SPARK/Ada
A markup-based typesetting system that is powerful and easy to learn.
Coverage guided fuzz testing for cobra^H^H^H^H^Hpython
An app for tracking your health and training progress.
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/
Generate memorable Diceware word list from text corpora