A feature-rich command-line audio/video downloader

Empowering everyone to build reliable and efficient software.

A markup-based typesetting system that is powerful and easy to learn.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

macOS system monitor in your menu bar

Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps

build-once run-anywhere c library

An API wrapper for Discord written in Python.

Chromium running inside your terminal

Static Type Checker for Python

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

Weighs the soul of incoming HTTP requests to stop AI crawlers

Privacy-respecting metasearch engine

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

perfect programming language

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

Probabilistic language based on pattern matching and constraint propagation, 153 examples

A Rust library for the Discord API.

A mod to make and play Terraria mods. Supports Terraria 1.4 (and earlier) installations

📺🗿 Terminal graphics for the 21st century.

Koka language compiler and interpreter

A fully compliant RISC-V computer made inside the game Terraria

Play lunar lander in you windows file copy dialog

A SQL database implemented purely in TypeScript type annotations.

Subcommand to show result of macro expansion

Agda is a dependently typed programming language / interactive theorem prover.

C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

Mix tasks to simplify use of Dialyzer in Elixir projects.

Query Excel spredsheets (.xlsx, .xls, .ods) using SQLite