fosskers / mapalgebra
Efficient, polymorphic Map Algebra in Haskell.
☆36Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for mapalgebra
- Haskell graphs and networks library☆31Updated 2 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Comma (and other) separated values☆76Updated last year
- An experiment in functional interface design☆23Updated 8 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- Kleene algebra, regular expressions☆32Updated last year
- Make presentations for data types☆25Updated 3 years ago
- Web front UI for interactive Haskell projects☆34Updated 4 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆28Updated 3 years ago
- Benchmarking tool with focus on comparing results.☆16Updated 2 months ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- ☆49Updated last week
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- easy 3d plotting in haskell☆26Updated last year
- Easy bidirectional serialization in Haskell☆50Updated 5 years ago
- Composable Concurrent Computation Done Right☆30Updated last year
- Financial datetimes and holiday recurrence rules☆18Updated 4 years ago
- Run a program as a daemon☆5Updated 3 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago