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 List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- An introduction to the J programming language that gets to the point.☆67Updated 2 weeks ago
- A #lang implementation of Lua 5.4 for Racket.☆57Updated last month
- ☆104Updated 3 years ago
- ☆55Updated 5 months ago
- ☆95Updated 3 years ago
- [WIP] A book on the k language.☆49Updated 3 years ago
- A small, weird and unpractical programming language.☆102Updated last week
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆145Updated 3 weeks ago
- Fork of Lua 5.1 to encourage end-user programming☆174Updated 2 years ago
- the origins of J☆63Updated 2 years ago
- A literate programming system for any language.☆119Updated last year
- ☆47Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆79Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last week
- Getting started, manuals and tutorials☆55Updated last year
- ☆44Updated last year
- Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.☆25Updated last year
- A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting☆43Updated last month
- Leibniz - a Digital Scientific Notation☆36Updated 8 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated 2 weeks ago
- A simple terminal-based text editor written in Janet. [WIP]☆37Updated 2 years ago
- Simple array language written in kotlin☆46Updated 2 years ago
- ☆98Updated 10 months ago
- A simple incomplete Scheme-to-C compiler☆74Updated 4 months ago
- ☆61Updated 2 years ago
- A novel approach to finding your way in APL☆147Updated last week
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated 2 years ago