nikita-volkov / graph-dbLinks
An experimental native Haskell graph database
☆61Updated 6 years ago
Alternatives and similar repositories for graph-db
Users that are interested in graph-db are comparing it to the libraries listed below
Sorting:
- Graph database in Haskell☆24Updated 8 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- Generic random generators☆81Updated 2 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 4 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Library of categories, with categorical constructions on them☆57Updated last year
- Static blog generator in Idris.☆39Updated 10 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- Transactional cache with configurable persistence☆46Updated 2 years ago
- refine properties for testing Haskell programs☆74Updated 4 months ago
- CLaSH prelude library containing datatypes and functions for circuit design☆31Updated 6 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Haskell library for simple, concise and fast generic operations.☆80Updated last year
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- A very fast Haskell library for generating high quality pseudo-random numbers.☆55Updated 4 months ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 3 months ago