TU-Berlin / opalLinks
Opal - Optimized Applicative Language | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/opal
☆17Updated 2 months ago
Alternatives and similar repositories for opal
Users that are interested in opal are comparing it to the libraries listed below
Sorting:
- A Scheme to Unlambda compiler☆18Updated 8 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 15 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 12 years ago
- stack-based RPN functional programming language☆55Updated 8 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- Lisp-like language to WebAssembly build with racket☆23Updated 8 years ago
- Prove formulas of Presburger Arithmetic☆11Updated last year
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Reason about Bitcoin addresses with Prolog☆23Updated last year
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Updated 12 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated 8 months ago
- Fast, simplified WAM-based Prolog system☆25Updated 3 months ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- ☆49Updated 2 months ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆18Updated 2 years ago
- AVL Trees for Racket☆12Updated 8 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- Wasm tooling in Racket.☆45Updated 2 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- An experimental language with compile time bounds checking☆14Updated 6 years ago
- ☆19Updated 2 years ago
- ☆35Updated 6 years ago
- Embeddable Forth inspired scripting language☆37Updated 7 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago