💚 End-to-end encrypted cloud for everything.

Haskell Tiny Game Jam

AI-Powered Photos App for the Decentralized Web 🌈💎✨

Atomic secret provisioning for NixOS based on sops

Resource gathering + programming game

OS X comic viewer

Polymorphic Teletype

An opensource engine for the game CrossCode (I want to believe)

A Text Editor inside a keyboard, drawing it's inspiration from 8pen and Vim.

Cross-platform Rust rewrite of the GNU coreutils

An advanced keyboard manager

Universal markup converter

Using math to make objects that look different / optical illusions

An Erlang VM implementation in Rust

Bidirectional JSON serialization

Experimental Nix-based process management framework

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

The Ur/Web programming language

Exploring the options for incremental Haskell builds using Nix

CakeML: A Verified Implementation of ML

Next generation distributed, event-driven, parallel config management!

Type-safe SQL interactions with PostgreSQL, based on Opaleye.

Squeal, a deep embedding of SQL in Haskell

Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!

A client / server for a Tox-based VPN. Run the server on one computer, copy the public key, and run the client (with that key) on another computer, and it should Just Work™.

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

Haskell code prettifier

Haskell pretty printer

A formatter for Haskell source code

Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]