owainlewis / forthLinks
A micro compiler for the FORTH programming language
☆12Updated 4 years ago
Alternatives and similar repositories for forth
Users that are interested in forth are comparing it to the libraries listed below
Sorting:
- Type systems written in 1ML☆9Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- ☆22Updated 5 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A type-safe, stack-based functional programming language☆16Updated 4 months ago
- A bare-bones LCF-style proof assistant☆24Updated 5 years ago
- poetic concatenative programming language☆10Updated 10 months ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Updated 6 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- Demystifying the magic of supertactics☆13Updated 3 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆14Updated 4 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- A command-line text editor in OCaml.☆13Updated 2 months ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 8 months ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- secret project☆17Updated 7 years ago
- S-expression swiss knife☆45Updated 2 weeks ago
- Small Scheme interpreter and compiler☆14Updated 9 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago