tim-m89 / Salsa
A .NET Bridge for Haskell
☆24Updated 8 years ago
Alternatives and similar repositories for Salsa:
Users that are interested in Salsa are comparing it to the libraries listed below
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 2 months ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last month
- ODBC driver for HDBC☆26Updated last month
- Quiver stream processing library☆15Updated 8 years ago
- Generic types and functions for encoding and decoding columns☆43Updated 2 months ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- A more flexible mtl☆64Updated 6 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- Haskell ODBC binding with SQL Server support☆45Updated 10 months ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 2 months ago
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Updated 3 years ago
- ☆23Updated 9 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated last month
- A simple XML module for Idris.☆13Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- Serializable closures for distributed programming.☆64Updated last year
- Invertible parsing for S-expressions☆33Updated 4 months ago
- Safe web routing in haskell☆30Updated last year
- ☆24Updated 8 years ago
- A Haskell program and library to derive instances for data types☆25Updated 4 years ago
- Open records for Haskell☆22Updated 7 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago