tim-m89 / Salsa
A .NET Bridge for Haskell
☆24Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Salsa
- Continuously varying values, made easy :)☆40Updated 5 years ago
- A more flexible mtl☆64Updated 6 years ago
- Extensible type-safe unions for Haskell☆32Updated 2 months ago
- Zippers based on lenses and traversals☆38Updated last year
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- Easy bidirectional serialization in Haskell☆50Updated 5 years ago
- Generic types and functions for encoding and decoding columns☆43Updated last week
- ODBC driver for HDBC☆26Updated last year
- Safe web routing in haskell☆30Updated last year
- ☆24Updated 7 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Monadic Javascript Compiler☆73Updated 8 years ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- Incubator for my Haskell libraries☆20Updated 6 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- Parse bytes fast☆24Updated 6 months ago
- Code for live-coding session☆20Updated 9 years ago
- Haskell ODBC binding with SQL Server support☆45Updated 8 months ago
- Invertible parsing for S-expressions☆33Updated last month
- Small random demonstrations of code☆12Updated 4 years ago
- Manipulating Common Intermediate Language AST in Haskell☆21Updated 8 years ago
- ☆39Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Transactional cache with configurable persistence☆48Updated last year
- Deep evaluation of data structures☆41Updated 2 months ago