Armael / conch
☆24Updated 3 years ago
Alternatives and similar repositories for conch:
Users that are interested in conch are comparing it to the libraries listed below
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 7 months ago
- Dotal Language☆46Updated 2 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆29Updated this week
- A statically-typed, concatenative language for the Uxn VM with compiler-enforced stack safety.☆39Updated last month
- An Impractical Stack Language☆14Updated 4 years ago
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆27Updated 2 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆10Updated 11 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- lang Thue + Regex☆14Updated 2 years ago
- Uxntal support for Visual Studio Code☆15Updated last year
- Alternative Uxntal assembler focused on error reporting☆50Updated 7 months ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 3 months ago
- Port of Uxn to digital hardware in the Logisim simulator☆15Updated last year
- ☆25Updated last year
- ☆22Updated 5 years ago
- ☆15Updated last year
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Updated 7 years ago
- Lua + Love2d port of the Uxn Virtual Machine☆16Updated last year
- The Titan programming language.☆12Updated last year
- Compiler that has been integrated into Okami now☆24Updated 2 years ago
- Uxn emulator for web engines and cli written in TypeScript (Work In Progress)☆12Updated last year
- Bad Apple!! for the Uxn stack-machine☆16Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆16Updated last year
- WIP stack language that uses regex for control flow☆42Updated last year
- File format and optimizer for programs encoded in binary lambda calculus☆13Updated last year
- [WIP] Pure OCaml bindings to the X11 protocol☆23Updated last month
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago