barrucadu / bookdb
A database and web app to keep track of all my books
☆26Updated this week
Related projects ⓘ
Alternatives and complementary repositories for bookdb
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Tagged Haskell learning resources index☆22Updated 8 years ago
- Web front UI for interactive Haskell projects☆34Updated 4 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…☆16Updated 5 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated 2 months ago
- An experiment in functional interface design☆23Updated 8 years ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Classes for types where we know all the values☆37Updated 6 months ago
- Lens interface for your filesystem☆22Updated 3 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 8 years ago
- A git-compatible content tracker in Haskell.☆66Updated 4 years ago
- Make presentations for data types☆25Updated 3 years ago
- Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.☆12Updated 9 years ago
- ☆45Updated this week
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆17Updated 9 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Mark test cases as expected-failure☆22Updated 3 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- ☆40Updated 6 years ago
- the dynabook but for haskell☆23Updated 5 years ago