👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

Anki's shared backend and web components, and the Qt frontend

Golang rate limiters for distributed applications

RCON client for executing queries on game server.

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

Extremely fast, in memory, JSON and interface library for modern C++

Visual Studio Code Extension and Language Server Protocol for Coq

Unofficial API for Yahoo Finance

Archive for all Coq related OPAM packages organized in various repositories

An open-source framework for making universal native apps with React. Expo runs on Android, iOS, and the web.

Blazing fast, structured, leveled logging in Go.

A parser combinator library for Zig

Native Go bindings for D-Bus

Go bindings to systemd socket activation, journal, D-Bus, and unit files

Wait4X allows you to wait for a port or a service to enter the requested state.

Simple, reliable, and efficient distributed task queue in Go

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

A tool to verify that your files are in harmony with your .editorconfig

An overlay on Eglot for editing OCaml code using LSP

Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.

Describe dune project structure as JSON

Tools, templates, and packages to accelerate building observable, production-ready apps

Make production Rust binaries auditable

Easy authentication mod for Fabric servers

Integrate your world with your Twitch stream. Minecraft in-game interactions through Twitch Channel Points, Bits, Subs and more!

Metaprogramming, verified meta-theory and implementation of Coq in Coq

The PE file analysis toolkit

Declarative JSON data manipulation for OCaml

FreeBSD Jail listing and managing utility.