Frege / eclipse-pluginLinks
The eclipse plugin for frege, codename fregIDE
☆31Updated 5 years ago
Alternatives and similar repositories for eclipse-plugin
Users that are interested in eclipse-plugin are comparing it to the libraries listed below
Sorting:
- Frege support for IntelliJ IDEA☆14Updated 9 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 7 years ago
- RRB-Trees: Efficient Immutable Vectors☆52Updated 12 years ago
- Java parser and printer for haskell☆67Updated 4 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- JVM code generation☆32Updated 6 years ago
- Support for your favorite build tool☆13Updated 2 years ago
- Frege Interpreter☆15Updated 5 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- ☆92Updated 9 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Free Monads and useful constructions to work with them☆26Updated 7 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated 7 months ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 7 years ago
- Utility to manage haskell projects for an IDE☆36Updated 10 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- For a given Haskell source file, determine where a symbol is imported from☆27Updated 6 years ago
- every day i'm truffling☆70Updated 4 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 8 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Various XML utility packages for Haskell☆73Updated last month
- Haskell source code formatter☆24Updated 7 months ago
- ☆23Updated 8 years ago
- A http client for Idris based on libcurl☆10Updated 9 years ago