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
- A Fun Frontend Language☆16Updated 2 years ago
- An extremely concatenative programming language☆22Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- A toy programming language.☆40Updated last year
- Zig library to connect Janet and Zig together☆55Updated 2 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- Janet Features List Demos☆24Updated 3 months ago
- macro spaghetti code☆28Updated 2 years ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Updated 4 years ago
- A simple path-tracer in Zig☆18Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- ☆53Updated 2 weeks ago
- A minimal stack based programming language☆32Updated 11 months ago
- maps are everything.☆10Updated 3 years ago
- My Advent of Code solutions☆22Updated 4 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- McLulang: The message is the language☆10Updated 8 months ago
- A #lang implementation of Lua 5.4 for Racket.☆54Updated last month
- Jupyter notebooks for Dyalog APL☆42Updated 11 months ago
- A Modeling Notation ꕤ☆15Updated 3 weeks ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- Compiler for my language 'Speedie'. Beta-state. Has a great future ahead for it.☆23Updated this week
- A Minimal Lispy Calculator☆26Updated last year
- A simple Garbage Collected Arena for C.☆16Updated 9 months ago
- The Coil Programming Language☆34Updated last year
- ☆44Updated 6 months ago
- Statically typed, embeddable, scripting language written in Zig.☆41Updated 3 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated 3 months ago