Frege / frege-interpreterLinks
Frege Interpreter
☆15Updated 4 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 5 years ago
- Frege code generator for Java classes☆17Updated 7 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- GUI for the frege repl☆25Updated 8 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Alice ML implementation☆17Updated 2 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- A parsing combinator library.☆10Updated 8 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27Updated 9 years ago
- ☆11Updated last month
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- XHTML combinator library☆9Updated 6 months ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- ☆16Updated 5 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
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 6 months ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- DEPRECATED☆12Updated 9 years ago