goudreinette / forth
Forth clone in Haskell
☆31Updated 7 years ago
Related projects: ⓘ
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆26Updated 3 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 5 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- ☆41Updated 9 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- The propagator system☆41Updated 8 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- A small implementation of type inference☆78Updated 9 years ago
- A simplistic FORTH bootstrapped from x86 assembly language☆14Updated 7 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- ☆55Updated 7 years ago
- ☆41Updated 7 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆37Updated last year
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- SML On Stilts☆37Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- ☆20Updated 9 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 7 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 6 years ago
- Ur/Web part of BazQux Reader sources☆82Updated 3 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Interpreter for Joy in Haskell using extensible-effects☆34Updated 7 years ago
- Implementations of µKanren in assorted languages☆60Updated 8 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- A lazy non-deterministic concatenative programming language☆54Updated 11 years ago