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:
- RRB-Trees: Efficient Immutable Vectors☆52Updated 12 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- 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
- Java parser and printer for haskell☆67Updated 4 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- ☆92Updated 9 years ago
- JVM code generation☆32Updated 6 years ago
- For a given Haskell source file, determine where a symbol is imported from☆27Updated 6 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- Free Monads and useful constructions to work with them☆26Updated 7 years ago
- Frege REPL☆78Updated 6 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- every day i'm truffling☆70Updated 4 years ago
- State machines in Idris☆37Updated 8 years ago
- Frege Interpreter☆15Updated 5 years ago
- An Intellij Plugin for the Eta programming language☆52Updated 6 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 6 years ago
- ☆15Updated 8 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- a capability-based system☆40Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 8 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- ☆23Updated 8 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Support for your favorite build tool☆13Updated 2 years ago