amw-zero / slighLinks
A language for certifying specification
☆14Updated 2 years ago
Alternatives and similar repositories for sligh
Users that are interested in sligh are comparing it to the libraries listed below
Sorting:
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- A literate programming system for any language.☆121Updated 2 years ago
- An introduction to the J programming language that gets to the point.☆69Updated 2 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- ☆58Updated 8 months ago
- ☆55Updated 6 months ago
- Leibniz - a Digital Scientific Notation☆36Updated 9 months ago
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆71Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- A #lang implementation of Lua 5.4 for Racket.☆58Updated 3 months ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆152Updated this week
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆77Updated 2 years ago
- Getting started, manuals and tutorials☆56Updated 2 years ago
- A toy programming language.☆41Updated 2 years ago
- ☆104Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last week
- ☆48Updated 4 years ago
- Lyspen (previously Lisperanto) is an AST structured editor.☆44Updated 3 weeks ago
- A program specification language with a formal syntax and ad-hoc semantics.☆86Updated 3 weeks ago
- Fork of Lua 5.1 to encourage end-user programming☆175Updated 2 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆123Updated 3 weeks ago
- A simple incomplete Scheme-to-C compiler☆74Updated 6 months ago
- A functional scripting language compiling to pure Lambda Calculus☆33Updated 2 months ago
- Learning Constraint Programming with Picat☆54Updated 3 months ago
- [WIP] A book on the k language.☆50Updated 3 years ago
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- A high-level programming language☆40Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- ⏺✍️ Write in Markdown+Racket, publish to multiple formats☆50Updated last month
- A small, weird and unpractical programming language.☆102Updated last week