Date and time library for Rust

Format Rust code

A lightweight library full of beautiful loading indicators for React.

Lean 4 programming language and theorem prover

Flexible toolkit for making desktop shells with QtQuick, for Wayland and X11

Show usage stats for OpenAI Codex and Claude Code, without having to login.

Open-source cron job and background task monitoring service, written in Python & Django

An independent, experimental PHP-compatible runtime written in Rust, featuring a proof-driven JIT, coroutines, and optional generics.

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

An easy and powerful Rust HTTP Client

The event continuation language

Portable project manifests and immutable skill projections for coding agents

Publish Rust crates from CI with a Release PR.

Free Zip / Unzip software and Rar file extractor. Cross-platform file and archive manager. Features volume spanning, compression, authenticated encryption. Supports 7Z, 7-Zip sfx, ACE, ARJ, Brotli,…

Zstandard - Fast real-time compression algorithm

An experimental Rust-native build tool for React apps.

7-Zip

A new p7zip fork with additional codecs and improvements (forked from https://sourceforge.net/projects/sevenzip/ AND https://sourceforge.net/projects/p7zip/).

A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings

Skills for Designers and Engineers.

A collection of agent skills that help you build great interfaces.

An agent-first linter for Tailwind design systems. Write design system rules that agents can verify.

Modern Postgres Terminal

Postgres intelligence for ai agents & apps

A cargo build wrapper with a live, animated status view

🧠 Train a 64M-parameter LLM from scratch in just 2h!

Write HTML. Render video. Built for agents.

Agent skill that removes signs of AI-generated writing from text