Stars
Library to type check concourse configurations in dhall
Track your time with the Timeular cube and Hackaru
one CLI to format your repo [maintainers=@zimbatm,@brianmcgee]
Scripts to generate 2d attractors (posted on facebook and instagram)
A collection of free MIDI chords and progressions ready to be used in your DAW, Akai MPC, or Roland MC-707/101
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
transitively track and reify annotations across a codebase
🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.
Agda lecture notes for the Functional Programming course at TU Delft
Automatic tiling window manager for macOS à la xmonad.
🎏 A curated collection of all country flags in SVG — plus the CSS for easier integration
Easy PureScript (and other tools) with Nix
Building blocks for common selection user interfaces in PureScript & Halogen
Reusable stateful logic in Halogen, inspired by React Hooks
A high-performance immutable mapping type for Python.
Plain text file based note taking and knowledge base building tool, markdown editor, simple browser IDE.
async language server protocol plugin for vim and neovim
A strongly-typed language that compiles to JavaScript
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
Deploying Haskell applications to AWS Lambda with Serverless
Haskell GraphQL Api, Client and Tools
easily build most Haskell programs into fully static Linux executables