Effects-based direct-style IO for multicore OCaml

Package registry for Lean/Lake.

A context-aware concrete Error type built on core::error::Error.

A bittorrent client in Rust

Haskell bindings for the SDL3 library.

Document Generator for Lean 4

Auto-format source code in many languages with one command

Emacs package for highlighting uncommitted changes

💫 vertico.el - VERTical Interactive COmpletion

A mini async telnet client.

The home of the NixOS branding guide and media kit.

Build truly native applications with ease!

Code playground for GNOME 🛠️

Compiler from OCaml to Javascript.

GNOME JavaScript bindings for PureScript

A terminal mud client written in Rust

Rust D-Bus crate.

The Agda standard library

A syntax-highlighting pager for git, diff, grep, and blame output

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

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

Fediverse API client library for Rust

High-level Rust library for the Activitypub protocol

Framework for simplifying flake setup [maintainer=@accelbread]

Terraform Configurations with Nickel

Better configuration for less

An Emacs major mode for editing Nix expressions, powered by tree-sitter [maintainer=@remi-gelinas]

A ranger-like flake.lock viewer [maintainer=@figsoda]