Open singing synthesis platform / Open source UTAU successor

RE# - A high-performance, automata based regex engine with first-class support for intersection and complement operations.

⭐️ A friendly language for building type-safe, scalable systems!

Animated sprite editor & pixel art tool -- Fork of the last GPLv2 commit of Aseprite

A TUI RSS reader with vim-like controls and a local-first, offline-first focus

Stoat for Web – browser app for Stoat

Typed effects API for OxCaml

Lean 4 port of Iris, a higher-order concurrent separation logic framework

The "batteries included" extended library for the Lean programming language and theorem prover

Extensional capabilities and deriving combinators

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 low-level Telnet protocol implementation for MUD clients written in Rust. Forked from libtelnet-rs, inspired by libtelnet.

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.