typelead / eta-ffi
A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
☆18Updated 7 years ago
Alternatives and similar repositories for eta-ffi:
Users that are interested in eta-ffi are comparing it to the libraries listed below
- Want to propose changes to Eta?☆14Updated 6 years ago
- the EitherT monad transformer☆55Updated 2 weeks ago
- Haskell 98 Profunctors☆71Updated 8 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Type-safe time units in Haskell☆49Updated last month
- Dual Traversable☆42Updated last year
- ☆54Updated 6 years ago
- Zippers based on lenses and traversals☆38Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Some useful control operators for looping☆48Updated 5 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Concurrency for the pipes ecosystem☆43Updated 2 years ago
- ☆33Updated 9 years ago
- Serializable closures for distributed programming.☆64Updated last year
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- Haskell 98 contravariant functors☆73Updated 5 months ago
- tools for writing better type errors☆73Updated last year
- Declare and access tuple fields with labels☆58Updated 6 years ago
- haskell memory☆48Updated last year
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 5 months ago
- A monad for managed values☆50Updated 2 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- Containers for STM☆68Updated last month
- Cofun with Cofree Comonads☆31Updated 8 years ago
- A purity and nullability analysis tool for Java.☆25Updated 6 years ago