wavewave / fficxxLinks
Haskell-C++ Foreign Function Interface Generator
☆143Updated last year
Alternatives and similar repositories for fficxx
Users that are interested in fficxx are comparing it to the libraries listed below
Sorting:
- High performance, regular, shape polymorphic parallel arrays.☆142Updated 6 months ago
- Inspection Testing for Haskell☆185Updated last month
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- c2hs is a pre-processor for Haskell FFI bindings to C libraries☆207Updated last year
- TParsec - Total Parser Combinators in Idris☆95Updated 2 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- ☆110Updated last month
- Low-dimensional linear algebra primitives for Haskell.☆208Updated last month
- Haskell Functional Reactive Programming framework with type-level clocks☆132Updated this week
- A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop☆85Updated 10 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
- A simple Idris program to blink the LED on an Arduino☆58Updated 4 years ago
- Haskell library for simple, concise and fast generic operations.☆81Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 6 months ago
- Let GHC prove program equations for you☆146Updated 6 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- Generic Programming using True Sums of Products☆162Updated last week
- Named parameters (keyword arguments) for Haskell☆96Updated 4 months ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Extensional capabilities and deriving combinators☆218Updated last year
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆208Updated 6 years ago
- Extensible Effects: An Alternative to Monad Transformers☆173Updated 4 years ago
- A drawing engine in Haskell☆142Updated 4 years ago
- constraint level if statements☆117Updated 7 years ago
- ☆79Updated last year
- A magic typeclass that just does it☆124Updated 3 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆103Updated 5 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated 2 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆124Updated last year
- ☆75Updated 3 weeks ago