typelead / eta-ffiLinks
A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
☆18Updated 8 years ago
Alternatives and similar repositories for eta-ffi
Users that are interested in eta-ffi are comparing it to the libraries listed below
Sorting:
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 6 years ago
- Want to propose changes to Eta?☆14Updated 7 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 6 years ago
- ☆33Updated 10 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Haskell 98 Profunctors☆70Updated 7 months ago
- the EitherT monad transformer☆58Updated 4 months ago
- Declare and access tuple fields with labels☆59Updated 7 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Updated 7 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Retry combinators for monadic actions that may fail☆114Updated 2 years ago
- Fast binary serialization in Haskell☆110Updated last year
- every day i'm truffling☆70Updated 4 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated 3 months ago
- Dual Traversable☆41Updated last month
- Haskell 98 contravariant functors☆73Updated last month
- Serializable closures for distributed programming.☆66Updated 2 years ago
- tools for writing better type errors☆73Updated 2 years ago
- haskell metrics☆32Updated last year
- Priority Search Queues in three different flavors for Haskell☆67Updated last month
- A port of Apache Sparks to Haskell using distributed process☆33Updated 9 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Lenses and traversals for xml-conduit☆50Updated 7 months ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- All of `base` without the `Prelude` module☆44Updated 3 years ago
- Reasonable Haskell default import☆27Updated 3 years ago
- A recursion scheme library for Idris.☆25Updated last week
- Haskell JSON schema validator and parser generator☆63Updated 3 years ago
- haskell memory☆48Updated 2 years ago