A curated list of awesome functional programming jobs.

Unofficial Patches for NetherSX2

Vim exercises based on the book - Practical Vim.

A `flake-parts` Nix module for Haskell development

i3-compatible Wayland compositor

OCaml ppx to include binary data from a file as a string

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Truly independent web browser

Resources to install NixOS bare metal on Apple Silicon Macs

Fuzzy type search for OCaml documentation

Realtime grep for OCaml/Coq sources available on opam

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

Build OCaml projects with Nix.

best way to save what you love

nix modules for darwin

get things from one computer to another, safely

Nix Packages collection & NixOS

This is the Personality Core for GLaDOS, the first steps towards a real-life implementation of the AI from the Portal series by Valve.

Run docker-compose with help from Nix/NixOS

language verification, construction, and analysis

PoloDB is an embedded document database.

i hate minimalism so...

Spawns lightweight nixos vms in a shell

General purpose Nix configuration for macOS / NixOS with starter templates + step-by-step guides ✨

Easy and fast file sharing from the command-line.

🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim

An encryption/decryption algorithm based on Lorenz's Strange Attractor

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust