Yet another redundant workflow engine

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

language-agnostic program reducer.

Language Server Protocol implementation for Rust based on Tower

Static low-bandwidth search at scale

Minimal CSS Framework for semantic HTML

HTTP requests collector to test webhooks, notifications, REST clients and more ...

Pathogen analysis tool used in the 2025 cloud infrastructure assignment in CSSE6400 at UQ.

💎 Robust job processing in Elixir, backed by modern PostgreSQL, SQLite3, and MySQL

Turn your keyboard into a typewriter! 📇

A scrollable-tiling Wayland compositor.

A tool for glamorous shell scripts 🎀

Command Line Interface for *.http and *.rest files. Connect with http, gRPC, WebSocket and MQTT

An abbreviation package that accepts a list of strings and returns unique shortened values.

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

Eliot: the logging system that tells you *why* it happened

Tiny automation pipelines. Bring CI/CD to the smallest projects. Self-hosted, Lightweight, CLI only.

OCaml library for manipulating context-free grammars

High-velocity, monorepo-scale workflow for Git

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Unbearably fast near-real-time pure-Python runtime-static type-checker.

Decentralised, minimalist microblogging service for hackers.

A configuration as code language with rich validation and tooling.

OpenTTD is an open source simulation game based upon Transport Tycoon Deluxe

A functional standard library for Python.

A Deductive Verification Tool for OCaml Programs

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Comlink makes WebWorkers enjoyable.