masaeedu

reading

natch

Natural pattern matching in JS

fp

Principled functional programming for JS

adt

A simple library for defining ADTs

init-haskell

A script for setting up Haskell projects with Nix

halfsp

do

General purpose do-notation for JS

pmatch

ML-like pattern matching syntax for ADTs

infix

Infix application trick for JS

fp-io

happy_proxy

freert

nanoparsec.js

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

automonad

Automatic monad stack construction using the category of monads

cofree-bot

cornelis

agda-mode for neovim

distant

🚧 (Alpha stage software) Library and tooling that supports remote filesystem and process operations. 🚧

git-repo-manager

A git tool to manage worktrees and integrate with GitHub and GitLab

graphmod

A utility for displaying the module dependencies of Haskell programs.

home-manager

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

nix-script

write scripts in compiled languages that run in the nix ecosystem, with no separate build step

nixpkgs

Nix Packages collection

nvim-lspconfig

Quickstart configs for Nvim LSP

nvim-ufo

Not UFO in the sky, but an ultra fold in Neovim.

piknik

Copy/paste anything over the network.

snapdom

spoofax

Spoofax runtime

xautocfg

Automatic keyboard repeat rate configuration for new keyboards

xpander