Frege / frege-interpreter
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
- Frege code generator for Java classes☆17Updated 7 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- GUI for the frege repl☆25Updated 7 years ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- XHTML combinator library☆9Updated 4 months ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- A parsing combinator library.☆10Updated 8 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- ☆16Updated 5 years ago
- JVM code generation☆32Updated 6 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- Edit distance library for Haskell☆27Updated 8 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Happy Haskell Hacking with Atom and ghc-mod☆29Updated 9 years ago
- Try Idris☆35Updated 9 years ago
- Alice ML implementation☆17Updated 2 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- Yes, really!☆11Updated 9 years ago
- A programming language☆77Updated 11 years ago
- Bow before the ultimate generality of the Royal Monad!☆10Updated 9 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Updated 9 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago