Pinned Repositories
all-hls
bitmap-fonts
fp
Principled functional programming for JS
init-haskell
A script for setting up Haskell projects with Nix
monadoptics
Profunctor optics for the endofunctor category on Hask
nix-optics
reading
win-sshfs
Fork of http://code.google.com/p/win-sshfs/
purescript-monoidal
purescript-snap
An approach to user interfaces based in denotational design.
masaeedu's Repositories
masaeedu/reading
masaeedu/natch
Natural pattern matching in JS
masaeedu/fp
Principled functional programming for JS
masaeedu/adt
A simple library for defining ADTs
masaeedu/init-haskell
A script for setting up Haskell projects with Nix
masaeedu/halfsp
masaeedu/do
General purpose do-notation for JS
masaeedu/pmatch
ML-like pattern matching syntax for ADTs
masaeedu/infix
Infix application trick for JS
masaeedu/fp-io
masaeedu/happy_proxy
masaeedu/freert
masaeedu/nanoparsec.js
masaeedu/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
masaeedu/automonad
Automatic monad stack construction using the category of monads
masaeedu/cofree-bot
masaeedu/cornelis
agda-mode for neovim
masaeedu/distant
🚧 (Alpha stage software) Library and tooling that supports remote filesystem and process operations. 🚧
masaeedu/git-repo-manager
A git tool to manage worktrees and integrate with GitHub and GitLab
masaeedu/graphmod
A utility for displaying the module dependencies of Haskell programs.
masaeedu/home-manager
Manage a user environment using Nix [maintainer=@rycee]
masaeedu/nix-script
write scripts in compiled languages that run in the nix ecosystem, with no separate build step
masaeedu/nixpkgs
Nix Packages collection
masaeedu/nvim-lspconfig
Quickstart configs for Nvim LSP
masaeedu/nvim-ufo
Not UFO in the sky, but an ultra fold in Neovim.
masaeedu/piknik
Copy/paste anything over the network.
masaeedu/snapdom
masaeedu/spoofax
Spoofax runtime
masaeedu/xautocfg
Automatic keyboard repeat rate configuration for new keyboards
masaeedu/xpander