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 5 years ago
- GUI for the frege repl☆25Updated 8 years ago
- Frege code generator for Java classes☆17Updated 7 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- XHTML combinator library☆9Updated 7 months ago
- Frege REPL☆78Updated 6 years ago
- Alice ML implementation☆17Updated 2 years ago
- A programming language☆77Updated 12 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- JVM code generation☆32Updated 6 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Try Idris☆35Updated 9 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- TCP Realisation of Network.Transport☆29Updated 10 months ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- A parsing combinator library.☆10Updated 8 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆55Updated last year
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Slava Akhmechet's Lisp from 2006☆14Updated 11 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago