amw-zero / sligh
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
- Zig library to connect Janet and Zig together☆55Updated last month
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Updated 4 years ago
- A truly minimal concatenative programming language☆27Updated last year
- Programming language for ternary computing☆30Updated 4 years ago
- Modern cross-platform webview-based desktop apps - without HTML/CSS/JS☆59Updated 7 months ago
- ☆29Updated 5 months ago
- Lisp like, embeddable and extendable scripting language supporting go interoperability☆37Updated 8 months ago
- A minimalist / functional / dataflow programming language☆13Updated 11 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 9 months ago
- The Coil Programming Language☆34Updated last year
- A simple Garbage Collected Arena for C.☆15Updated 9 months ago
- macro spaghetti code☆28Updated last year
- An extremely concatenative programming language☆22Updated last year
- Constraint solving library☆51Updated last year
- Barebone Janet language plugin for Kakoune editor☆13Updated 2 years ago
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆13Updated 2 years ago
- A high-level programming language☆39Updated 2 months ago
- A #lang implementation of Lua 5.4 for Racket.☆53Updated 2 weeks ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 5 months ago
- The Phix Programming Language☆59Updated last month
- ☆52Updated this week
- ☆94Updated 2 years ago
- A Fun Frontend Language☆16Updated last year
- High performance compiled language with simplicity and safety.☆48Updated last year
- Unmaintained in favor of Zenolith - mirror of https://mzte.de/git/LordMZTE/boxflow☆25Updated last year
- Linq in Zig☆44Updated last year
- Compiler for my language 'Speedie'. Beta-state. Has a great future ahead for it.☆23Updated this week
- Reference-counted Shared Pointer for Zig☆29Updated last year
- A post-modern, "multi-dimensional", configurable, abbreviating, extensible ls/file lister in Nim☆65Updated last month
- ☆17Updated last year