nikita-volkov / graph-dbLinks
An experimental native Haskell graph database
☆62Updated 7 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 9 years ago
- playground for working with succinct data structures☆97Updated 10 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Hackage search engine☆56Updated 7 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- ▁▂▃▅▂▇ Plot time series in your terminal in real-time☆44Updated 8 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 8 years ago
- git protocol and storage in pure haskell☆67Updated 4 years ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- Transactional cache with configurable persistence☆45Updated 2 years ago
- Fast binary serialization in Haskell☆110Updated 11 months ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 10 months ago
- Haskell 98 contravariant functors☆73Updated last year
- Slides & demos for talks I do☆58Updated 2 months ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Generic random generators☆81Updated 2 years ago
- A very fast Haskell library for generating high quality pseudo-random numbers.☆59Updated 10 months ago
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Haskell library for efficiently building up buffers☆27Updated 11 months ago
- Type provider library for Idris☆95Updated 7 years ago
- A message-passing library, intended for simplifying network applications☆44Updated 7 years ago
- A haskell client library for consul (consul.io)☆31Updated last year
- do-notation for Category and "Arrow without arr"☆62Updated 8 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- Serializable closures for distributed programming.☆65Updated 2 years ago
- A book about large-scale design in Haskell☆75Updated 11 years ago