patrickdoc / hash-graph
A hashing-based graph implementation in Haskell
☆33Updated 6 years ago
Related projects: ⓘ
- ☆20Updated this week
- A monadic interface for DAG construction.☆24Updated 3 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 5 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 5 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 7 years ago
- Kleene algebra, regular expressions☆32Updated 10 months ago
- Haskell dynamic RTS loader☆13Updated 8 years ago
- Quiver stream processing library☆15Updated 7 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Updated 7 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 3 years ago
- Type Theory with Indexed Equality☆23Updated 7 years ago
- ☆21Updated last year
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Easy bidirectional serialization in Haskell☆50Updated 5 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆31Updated 2 years ago
- A GHC type checker plugin for row types☆39Updated 6 years ago
- Dependently typed elimination functions using singletons☆27Updated 3 months ago
- More strongly typed variant of the ixset Haskell package☆23Updated last month
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Updated 7 years ago
- Concurrency features for the Haskell machines package☆17Updated 2 years ago
- Compiler preprocessor introducing a syntactic extension for anonymous records☆12Updated 7 years ago