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
- A simple XML module for Idris.☆13Updated 4 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Extensible type-safe unions for Haskell☆33Updated 5 months ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Haskell ODBC binding with SQL Server support☆45Updated 11 months ago
- Generic types and functions for encoding and decoding columns☆43Updated 3 months ago
- Efficient conversion of values into Text☆40Updated last month
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 5 months ago
- Parse bytes fast☆24Updated 9 months ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 3 months ago
- Deep evaluation of data structures☆41Updated 5 months ago
- ☆24Updated 8 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- ☆31Updated 3 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- ODBC driver for HDBC☆26Updated 2 months ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆60Updated last year
- ♾️ Sized list☆46Updated 9 months ago
- Experimental event store database entirely written in Haskell☆30Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Some useful control operators for looping☆48Updated 4 years ago
- A natural transformation package☆16Updated 3 months ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- A more flexible mtl☆64Updated 6 years ago
- Haskell 98 contravariant functors☆73Updated 4 months ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago