goudreinette / forthLinks
Forth clone in Haskell
☆33Updated 8 years ago
Alternatives and similar repositories for forth
Users that are interested in forth are comparing it to the libraries listed below
Sorting:
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- A small implementation of type inference☆78Updated 10 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- SML On Stilts☆37Updated 11 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Updated 2 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 7 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Hope programming language interpreter☆41Updated last month
- A prolog interpreter written in Haskell.☆62Updated 10 years ago
- The Om programming language.☆173Updated 8 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- purple: compiling a reflective language☆33Updated 8 months ago
- ☆41Updated 10 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Optional types for Prolog☆16Updated 5 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- ☆41Updated 8 years ago
- Morte IDE☆29Updated 3 months ago