A high performance rust-powered UI layout library

A tiny Skia subset ported to Rust

A Typst template for a variety of thesis works - tailored to Vysoká škola báňská - Technická univerzita Ostrava (VŠB) students

A step-by-step PDF writer.

Converts SVG files to PDF.

Cargo subcommand for configuring Cargo projects for best performance.

Framework for Creating Slides

Project documentation with Markdown.

Documentation that simply works

A complete harfbuzz's shaping algorithm port to Rust

An SVG rendering library.

A privacy-first, open-source platform for knowledge management and collaboration. Download link: https://github.com/logseq/logseq/releases. roadmap: https://trello.com/b/8txSM12G/roadmap

Animation engine for explanatory math videos

Mkdocs plugin for the nedoc Python API documentation generator.

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

Rust async runtime based on io-uring.

Materials for my PhD thesis

Krita is a free and open source cross-platform application that offers an end-to-end solution for creating digital art files from scratch built on the KDE and Qt frameworks.

Scheduler for sub-node tasks for HPC systems with batch scheduling

Rust crate for printing tables on command line.

Usable, easy and safe pure-Rust crypto

A full featured, fast Command Line Argument Parser for Rust

An Emacs framework for the stubborn martian hacker

Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

Python configuration generator

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

Ultra fast asyncio event loop.

The uncompromising Python code formatter

Converts profiling output to a dot graph.