Empowering everyone to build reliable and efficient software.

Resumes generated using the GitHub informations

Emscripten: An LLVM-to-WebAssembly Compiler

Nix Packages collection & NixOS

precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes

Nix, the purely functional package manager

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

The Light Table IDE ⛺

A cross-platform, linkable library implementation of Git that you can use in your application.

It's Magit! A Git Porcelain inside Emacs.

The Scala 3 compiler, also known as Dotty.

Manage your macOS using Nix

Sweeten your JavaScript.

Experimental Terminal platform built on WebKit + node.js. Currently only for Mac and Windows, though the prototype works 90% in any WebKit browser.

A portable foreign-function interface library.

Chameleon is a port of Apple's UIKit for iOS (and some minimal related frameworks) to Mac OS X.

A collection of resources for learning type theory and type theory adjacent fields.

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

The Superior Lisp Interaction Mode for Emacs

The Stump Window Manager

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

The Haskell-Scriptable Editor

A Coq library for Homotopy Type Theory

Cryptol: The Language of Cryptography

Emacs highlighting using Ethan Schoonover’s Solarized color scheme

⚡ preexec and precmd functions for Bash just like Zsh.

doc/tutorial generator for scala

Popup Window Manager for Emacs

direnv integration for emacs

Guide following keys to an input key sequence automatically and dynamically in Emacs.