todo.txt manager for Linux, Windows and MacOS, free and open-source (FOSS)

Todo.txt TUI - Terminal-based Todo Task Manager

Static checker for GitHub Actions workflow files

Run your GitHub Actions locally 🚀

The next gen ls command

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

Instant, easy, and predictable development environments

A modern Prolog implementation written mostly in Rust.

A datetime library for Rust that encourages you to jump into the pit of success.

Language server for text spell and grammar check with various tools.

Web tool for database management

A static, type inferred and embeddable language written in Rust.

An embedded scheme interpreter in Rust

A modern supercompiler for call-by-value functional languages

Yet another Nix CLI helper. [Maintainers=@NotAShelf, @faukah]

HTTP mocking to test Rust applications.

The tiniest PaaS you've ever seen. Piku allows you to do git push deployments to your own servers.

A sharp cut(1) clone.

an efficient awk-like language

A Rust-based re-write of the Stockfish Chess Engine

A curated list of replacements for existing software written in Rust

TerminalTextEffects (TTE) is a terminal visual effects engine, application, and Python library.

A cross-platform file change monitor with multiple backends: Apple macOS File System Events, *BSD kqueue, Solaris/Illumos File Events Notification, Linux inotify, Microsoft Windows and a stat()-bas…

LocalChat is a ChatGPT-like chat that runs on your computer

A simple, Git-powered wiki with a local frontend and support for many kinds of markup and content.

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Hierarchical state machines for designing event-driven systems

Autoscalable Programming Language

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Automated property based testing for Rust (with shrinking).