amw-zero / slighLinks
A language for certifying specification
☆13Updated last year
Alternatives and similar repositories for sligh
Users that are interested in sligh are comparing it to the libraries listed below
Sorting:
- ☆53Updated this week
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Updated last year
- ☆29Updated last week
- Zig library to connect Janet and Zig together☆59Updated 3 months ago
- An extremely concatenative programming language☆22Updated last year
- A minimalist / functional / dataflow programming language☆13Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated 7 months ago
- A Fun Frontend Language☆16Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- A toy programming language.☆40Updated last year
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 11 months ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Updated 4 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 4 months ago
- A simple terminal-based text editor written in Janet. [WIP]☆36Updated 2 years ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆12Updated last year
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆13Updated 3 years ago
- minimalistic symbolic term rewriting framework☆15Updated this week
- The Coil Programming Language☆34Updated last year
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated last month
- ☆32Updated 2 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- ☆26Updated last year
- A #lang implementation of Lua 5.4 for Racket.☆56Updated last month
- maps are everything.☆10Updated 3 years ago
- Lisp like, embeddable and extendable scripting language supporting go interoperability☆37Updated 10 months ago
- An introduction to the J programming language that gets to the point.☆61Updated 3 weeks ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- macro spaghetti code☆28Updated 2 years ago