mchakravarty / language-c-inlineLinks
Inline C & Objective-C in Haskell
☆146Updated 7 years ago
Alternatives and similar repositories for language-c-inline
Users that are interested in language-c-inline are comparing it to the libraries listed below
Sorting:
- ☆58Updated 11 months ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Model-view-controller☆64Updated 2 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- ☆125Updated last year
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆106Updated 6 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- Example uses of monads☆43Updated 6 years ago
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 4 years ago
- Hackage search engine☆56Updated 7 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 3 months ago
- A dependency manager for Haskell☆97Updated 3 years ago
- Create command line interfaces with ease☆41Updated 2 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 9 years ago
- ☆137Updated 3 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 4 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated this week
- First class composable record labels for Haskell.☆68Updated 3 years ago
- ☆28Updated 10 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- ☆75Updated 3 months ago
- A typeclass-based Prelude.☆108Updated 8 years ago