Data interchange with algebraic data types.

A Git-compatible VCS that is both simple and powerful

A libadwaita/gtk4 app for editing NixOS configurations

Lightning-fast and Powerful Code Editor written in Rust

Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu,@cyclic-pentane]

Beat your package expressions into a shape

Nix flakes for the weathered niv user

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Open source bike GPS: with Strava segments !

Frame profiler

JetBrains Meta programming System

How to create an OS from scratch

A hybrid graphics editor and programming environment for creating interactive diagrams.

Curated list of project-based tutorials

🎨 Generate and change color-schemes on the fly.

A wrapper tool for nix OpenGL application [maintainer=@guibou]

This Python script will download chapters from novels availaible on wuxiaworld.com saves then into the .epub format

The engine that powers DeLorean!

Tesseract Open Source OCR Engine (main repository)

Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

An unusual Web UI Framework for Haskell

StarCraft II Client - protocol definitions used to communicate with StarCraft II.

Swift implementation of the reform dynamic drawing application inspired by Bret Victor's talk "Drawing Dynamic Visualizations"

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

Source material for "Functional Pearl: Getting a Quick Fix on Comonads"

Functional Programming Course

Comparison of build program expressive power

Peer-to-peer hypermedia protocol

Deep Learning in Haskell

😎 Awesome lists about all kinds of interesting topics