ledger / ledger4
A rewrite of Ledger's core mathematical concepts in Haskell
☆44Updated 8 years ago
Alternatives and similar repositories for ledger4:
Users that are interested in ledger4 are comparing it to the libraries listed below
- A library for generating RSS 2.0 feeds.☆18Updated 9 months ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 6 years ago
- Rope data structure used by Yi☆20Updated 6 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Updated 9 years ago
- An IRC analysis server.☆81Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- What I Wish I Knew While Learning Nix☆35Updated 3 years ago
- Ur/Web part of BazQux Reader sources☆82Updated 3 years ago
- A cross-platform file activity monitor☆72Updated 8 years ago
- Major mode for psci (purescript's repl)☆17Updated last year
- My haskell-mode configuration for Emacs☆19Updated 2 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 12 years ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Configuration files (.emacs)☆22Updated this week
- Toggle Haskell language extensions from Emacs☆22Updated 5 years ago
- An Emacs interface for Uzbl.☆100Updated 13 years ago
- ncurses binding for Haskell☆61Updated 3 months ago
- QuickCheck extras.☆29Updated 5 years ago
- Attoparsec parser combinators for parsing org-mode structured text!☆91Updated last year
- JSON RPC using the remote monad☆9Updated 7 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- A fast, low-level HTTP server you can trust☆47Updated 6 years ago
- clone all the github repositories of a particular user.☆19Updated 7 years ago
- Nix development utils that will blow up your mind☆44Updated 9 years ago
- ☆23Updated 7 years ago
- I like to work inside nix-shell and I'd like to git track my .nix files for projects but I don't want to push my .nix files upstream. Her…☆30Updated 6 years ago
- ☆94Updated 8 years ago