alexanderkyte / VerticalFingerTreeLinks
☆33Updated 8 years ago
Alternatives and similar repositories for VerticalFingerTree
Users that are interested in VerticalFingerTree are comparing it to the libraries listed below
Sorting:
- playground for working with succinct data structures☆97Updated 9 years ago
- n queens with the logic monad☆20Updated 10 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Updated 9 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- World's dumbest fuzzer☆52Updated last year
- A programming language☆77Updated 12 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 6 months ago
- ☆98Updated 7 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- Quick and easy data visualizations with Haskell☆84Updated 6 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Updated 8 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- Semantic Version Control mk II.☆37Updated 5 years ago
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Programming Language meets UI☆51Updated 7 years ago
- A dead simple networked key/value store☆115Updated 9 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- ☆92Updated 9 years ago
- Brent's PhD thesis.☆63Updated 9 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- The haskell network stack☆115Updated 7 years ago