amw-zero / sligh
A language for certifying specification
☆12Updated last year
Alternatives and similar repositories for sligh:
Users that are interested in sligh are comparing it to the libraries listed below
- Programming language for ternary computing☆30Updated 3 years ago
- A Fun Frontend Language☆16Updated last year
- sce -- minimalist console editor (no highlighting, no plugins, no modes, no Emacs)☆14Updated 5 months ago
- ☆51Updated 5 months ago
- Solutions to various problems written in Factor☆12Updated 4 years ago
- An Impractical Stack Language☆13Updated 4 years ago
- various toys in j☆12Updated 2 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Dyalog APL implementation of a 3D ray tracer☆12Updated 5 years ago
- A toy programming language.☆37Updated last year
- A minimalist / functional / dataflow programming language☆13Updated 8 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 7 months ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- An extremely concatenative programming language☆22Updated last year
- A Minimal Lispy Calculator☆24Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated 3 months ago
- Demo of a WAM Prolog implementation in Python☆73Updated last year
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆40Updated 11 months ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆12Updated 10 months ago
- ☆27Updated last year
- High performance compiled language with simplicity and safety.☆48Updated 10 months ago
- V Interactive SHell | A successor to PISH.☆14Updated last year
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆42Updated 2 years ago
- interpreter devkit☆24Updated 5 years ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- Zig library to connect Janet and Zig together☆53Updated last week
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆12Updated last year
- A minimal stack based programming language☆32Updated 8 months ago