jwiegley / notes
☆45Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for notes
- Emacs bindings for hlint's --refactor option☆27Updated 5 years ago
- Toggle Haskell language extensions from Emacs☆22Updated 4 years ago
- Interface to the Stack Haskell development tool☆27Updated 4 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆55Updated 5 months ago
- Improved Haskell support for Flycheck☆67Updated last year
- A minimal emacs configuration for haskell programming☆31Updated 2 years ago
- Intero Haskell IDE with Nix instead of Stack☆15Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- Comma (and other) separated values☆77Updated last year
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 4 years ago
- ☆44Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- A game about exponential growth written in Haskell☆31Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Dual Traversable☆41Updated last year
- Relative Monad Library for Agda☆24Updated 5 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 7 months ago
- An experiment in functional interface design☆23Updated 8 years ago
- Curses bindings package for Idris☆13Updated 5 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 2 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 10 months ago
- Attoparsec parser combinators for parsing org-mode structured text!☆90Updated 8 months ago
- Church-encoding of the Freer monad☆29Updated 8 years ago
- Happy Haskell Programming☆67Updated 9 months ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- A monadic (and pretty) pretty printer for Haskell☆37Updated last year
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆23Updated 8 years ago