⚡ Better `pre-commit`, re-engineered in Rust

HPN-SSH based on OpenSSH

An open-source, self-hosted note-taking service. Your thoughts, your data, your control — no tracking, no ads, no subscription fees.

Fast implementation of the tilt-shift effect to create fake miniatures. Works on images and videos.

These are my solutions on the popular problems of Damn Vulnerable Defi

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

Minimal & malleable language for symbiotic end-user programming

MInimal Musical medIUM - an infrastructural language for sound and music.

Create stunning screen recordings for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.

A computationally transparent language based on higher-dimensional rewriting.

verified autofill

An open-source framework for verifiably private AI inference

Cure language compiling to BEAM with FSM primitives and Dependent types

Open-source media request and discovery manager for Jellyfin, Plex, and Emby.

A Rust crate for beautiful, artisanally crafted CLIs, TUIs, and text-based IO.

Rust-based compiler for the Address Language developed by Kateryna Logvynivna Yushchenko.

Simple Rust profiler with memory and async data-flow insights - quickly find and debug performance bottlenecks.

Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels

Skrifa/Read-Fonts-based font QA tool (successor to fontbakery)

Test your fonts across the web by easily overriding fonts on any webpage.

📫 Fault tolerant multicore programs with actors

A fast type checker and language server for Python

The best ChatGPT that $100 can buy.

Bezy Grotesk

The awesome document factory

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

A specialized audio CD-ripper optimized for track recovery.

Home of the ABS programming language: the joy of shell scripting.