vincenthz / language-javaLinks
Java parser and printer for haskell
☆67Updated 4 years ago
Alternatives and similar repositories for language-java
Users that are interested in language-java 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
- The Haskell Refactoring Tool☆138Updated 8 years ago
- Haskell 98 contravariant functors☆73Updated last year
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆135Updated 6 years ago
- Generic parser combinators☆89Updated 9 months ago
- The missing tutorial module for the lens library☆83Updated last year
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 11 months ago
- Mutable hash tables for Haskell, in the ST monad☆132Updated 4 months ago
- ☆92Updated 10 years ago
- Fast binary serialization in Haskell☆110Updated last year
- Dive into GHC☆82Updated 9 years ago
- ☆33Updated 9 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- Typed filepath☆126Updated 11 months ago
- A Haskell library for creating, printing and parsing UUIDs☆63Updated 8 months ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 9 years ago
- the EitherT monad transformer☆57Updated 2 months ago
- Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.☆158Updated 4 years ago
- A Idris Mode for Atom.io☆102Updated last year
- Hackage search engine☆56Updated 7 years ago
- A data-type like Either but with an accumulating Applicative☆100Updated 2 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 4 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 8 years ago
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆115Updated 10 months ago
- The Haskell Refactoring Tool☆138Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Extensible Effects: An Alternative to Monad Transformers☆175Updated 4 years ago