Surmai is a personal/family travel organizer

A kindle <=5.16.2.1.1 jailbreak

A Nix derivation for Foundry VTT

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

🦀 The ultimate search extension for Rust

A Nix DSL for DNS zone files [maintainers=@raitobezarius @kirelagin @Tom-Hubrecht]

ERP beyond your fridge, now on your phone – An awesome companion app for Grocy

Solve puzzles. Learn CUDA.

A Rust verification tool

Making parsing a breeze

A free and open source comics, manga and digital book server with OPDS support (WIP)

Typst template suite for papers, presentation slides, exams, and more!

Free, simple, and intuitive online database diagram editor and SQL generator.

A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Creusot helps you prove your code is correct in an automated fashion.

Bookmark manager for the wizards 🧙

A Typst package and template for drafting legislative content in a German-style structuring, such as for bylaws, etc.

Opensource IDE For Exploring and Testing Api's (lightweight alternative to postman/insomnia)

Secure & Modern All-in-One Mail Server (IMAP, JMAP, POP3, SMTP)

A deep embedding of (a subset of) Lustre in Rust by means of `#[proc_macro]`s

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

For when people get too hyped up about things

Book of educational examples for Typst

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

A Rust library for building interactive prompts

A template for DIN 5008 inspired typst letter

provides a simple way to render text with ANSI escape sequences in typst

Experimental Maps for Web, Mobile and Desktop

Automated Encryption Framework