pa-ba / AsyncRattusLinks
☆12Updated 5 months ago
Alternatives and similar repositories for AsyncRattus
Users that are interested in AsyncRattus are comparing it to the libraries listed below
Sorting:
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated last year
- high-powered optics in a small package☆53Updated 11 months ago
- Reimplementation of a subset of Cabal☆32Updated last week
- Invertible parsing for S-expressions☆34Updated 5 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Command line interface library in Idris☆31Updated last year
- classical sequent calculus, embedded in Haskell☆21Updated 3 weeks ago
- Data structures for describing changes to other data structures.☆17Updated 8 months ago
- Zippers for cofree types☆13Updated 3 years ago
- Haskell implementation of data structures for data science☆22Updated 2 months ago
- GRIN backend for Idris☆50Updated 5 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Dhall bindings for Idris☆41Updated last month
- ☆41Updated last year
- A template for idris projects☆11Updated 4 years ago
- ☆28Updated 3 weeks ago
- functional spreadsheet programming☆19Updated 5 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- ☆30Updated 2 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- Interpret Haskell programs into any cartesian closed category.☆63Updated last month
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 6 months ago
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Tools for building 3D interactive programs in Haskell☆73Updated this week
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Updated 2 weeks ago
- Minimal binary serialization library with focus on performance☆25Updated 2 months ago