ibus-sayura is an IBUS IMEngine module for Sinhala

Fast, friendly GHCi

Sealed bootable container images for the Fedora Atomic Desktops (Work in progress, unofficial development images)

Reading and writing font files

A VM wrapper around toolboxes

TypeScript compiler and JavaScript engine in Lean

A CLI utility to get claude code to do things

A little language inspired by Rust that compiles to Go

A reactive notebook for Haskell

SQL-first, type-safe PostgreSQL client code generator

HarfBuzz port to Rust

GLyphy is an implementation of the Slug algorithm for GPU text rasterization

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

DNF wrapper for simpler handling of extra repos

A dendritic Nix flake for running Nix + system-manager e.g. on Ubuntu

Lean documentation authoring tool

Generate Haskell bindings for GObject-Introspection capable libraries

Nix language server, based on nix libraries [maintainer=@inclyc,@takeokunn,@Aleksanaa]

Fedora toolbox with nix.

User customizable Bash prompt

Better configuration for less

Control all your tooling from a single console

Blazing fast eix-like search tool for nixpkgs

Fedora (Haskell) container tool

An introduction to theorem proving in Lean for the impatient.

Tooling and API to identify, understand and deliver fast and accurate root cause analysis of build failures.

mold: A Modern Linker 🦠

A prototype type-based library search tool for Agda