Frege / eclipse-plugin
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
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Frege Interpreter☆15Updated 4 years ago
- Support for your favorite build tool☆13Updated last year
- GUI for the frege repl☆25Updated 7 years ago
- Frege REPL☆78Updated 6 years ago
- Frege code generator for Java classes☆17Updated 7 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 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
- Gradle plugin for compiling Frege projects☆25Updated 3 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall☆27Updated 5 years ago
- A http client for Idris based on libcurl☆10Updated 9 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- Java parser and printer for haskell☆67Updated 3 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- Gradle plugin for the Eta programming language☆30Updated 3 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- JVM code generation☆32Updated 6 years ago
- ☆15Updated 8 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Haskell plugin for Gradle☆16Updated 6 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- A recursion scheme library for Idris.☆24Updated 4 months ago