Frege / frege-interpreterLinks
Frege Interpreter
☆15Updated 5 years ago
Alternatives and similar repositories for frege-interpreter
Users that are interested in frege-interpreter are comparing it to the libraries listed below
Sorting:
- The eclipse plugin for frege, codename fregIDE☆31Updated 6 years ago
- Frege REPL☆79Updated 6 years ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 4 years ago
- ☆92Updated 10 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Fjord, F# programming language for the JVM.☆209Updated 10 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆28Updated 4 years ago
- Yes, really!☆11Updated 10 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- A programming language☆77Updated 12 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- Utility to manage haskell projects for an IDE☆35Updated 10 years ago
- JVM code generation☆32Updated 6 years ago
- Java dialect using S-expressions☆31Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- The MLtonLibrary repository☆35Updated 2 years ago
- GUI for the frege repl☆26Updated 8 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- Left-leaning red-black trees☆49Updated 13 years ago
- Java parser and printer for haskell☆67Updated 4 years ago
- Parsers for various configuration files written in Idris.☆20Updated 8 years ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- Alice ML implementation☆16Updated 2 years ago
- DEPRECATED☆12Updated 9 years ago