Frege / eclipse-pluginLinks
The eclipse plugin for frege, codename fregIDE
☆31Updated 6 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 Interpreter☆15Updated 5 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
- Frege support for IntelliJ IDEA☆14Updated 9 years ago
- Simple example of using JDBC from Eta language☆10Updated 9 years ago
- Java parser and printer for haskell☆67Updated 4 years ago
- Support for your favorite build tool☆14Updated 2 years ago
- JVM code generation☆32Updated 7 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 6 years ago
- ☆92Updated 10 years ago
- RRB-Trees: Efficient Immutable Vectors☆52Updated 13 years ago
- Free Monads and useful constructions to work with them☆26Updated 7 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 7 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 9 years ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Want to propose changes to Eta?☆14Updated 7 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- every day i'm truffling☆70Updated 4 years ago
- Type provider library for Idris☆95Updated 8 years ago
- For a given Haskell source file, determine where a symbol is imported from☆27Updated 7 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 4 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 6 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- Haskell source code formatter☆24Updated last year
- An HTTP library for idris☆39Updated 7 years ago
- Haskell plugin for Gradle☆16Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Utility to manage haskell projects for an IDE☆35Updated 10 years ago