tim-m89 / Salsa
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
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- Continuously varying values, made easy :)☆41Updated 5 years ago
- Extensible type-safe unions for Haskell☆33Updated last month
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 5 months ago
- Scrap Your Boilerplate generic programming library in Haskell☆45Updated 4 months ago
- Haskell ODBC binding with SQL Server support☆45Updated last year
- A more flexible mtl☆64Updated 7 years ago
- Directed Acyclic Graphs☆21Updated 3 months ago
- Safe web routing in haskell☆30Updated 2 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 5 years ago
- ODBC driver for HDBC☆26Updated 4 months ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 2 months ago
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- Monad morphisms☆50Updated 2 years ago
- Type-safe open unions in Haskell☆32Updated 7 years ago
- ☆40Updated 5 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- Parse bytes fast☆24Updated 11 months ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Some useful control operators for looping☆48Updated 5 years ago
- ☆54Updated 6 years ago
- Zippers based on lenses and traversals☆39Updated last year
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated last month
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Updated 8 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago