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:
- Model-view-controller☆64Updated 2 years ago
- ☆59Updated last year
- ☆98Updated 7 years ago
- Example uses of monads☆43Updated 6 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Haskell 98 bifunctors, bifoldables and bitraversables☆58Updated 4 months ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆133Updated 8 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Fast non-backtracking incremental combinator parsing for bytestrings☆46Updated 4 years ago
- Dive into GHC☆82Updated 8 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- A collection of introductory tutorials on Haskell libraries☆42Updated 9 years ago
- ☆125Updated last year
- ☆137Updated 3 years ago
- Clojure-style transients for Haskell☆32Updated 3 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Hackage search engine☆56Updated 7 years ago
- Fast linear time sorting and discrimination for a large class of data types☆137Updated last month
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 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
- Mutable hash tables for Haskell, in the ST monad☆129Updated 3 weeks ago
- 2048 in Idris☆122Updated 7 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- ☆72Updated 8 years ago
- The Haskell Refactoring Tool☆138Updated 8 years ago