tim-m89 / SalsaLinks
A .NET Bridge for Haskell
☆25Updated 8 years ago
Alternatives and similar repositories for Salsa
Users that are interested in Salsa are comparing it to the libraries listed below
Sorting:
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 7 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- A more flexible mtl☆64Updated 7 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 3 months ago
- Type provider library for Idris☆94Updated 7 years ago
- Lightweight package providing commonly useful parser combinators☆54Updated 4 months ago
- A simple XML module for Idris.☆13Updated 5 years ago
- Haskell ODBC binding with SQL Server support☆45Updated last year
- A collection of old versions of the Haskell Report☆12Updated 7 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆45Updated 5 months ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Simple adjunctions☆46Updated 2 months ago
- Deep evaluation of data structures☆41Updated 8 months ago
- Parse bytes fast☆24Updated last year
- Extensible type-safe unions for Haskell☆34Updated 2 months ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- ☆44Updated 3 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Get all your structure and rip it apart.☆32Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Generic types and functions for encoding and decoding columns☆44Updated 7 months ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 7 months ago
- Haskell 98 comonads☆78Updated 3 months ago
- Directed Acyclic Graphs☆21Updated 4 months ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- Monad morphisms☆50Updated 2 years ago