amw-zero / slighLinks
A language for certifying specification
☆14Updated last year
Alternatives and similar repositories for sligh
Users that are interested in sligh are comparing it to the libraries listed below
Sorting:
- ☆53Updated last month
- Getting started, manuals and tutorials☆53Updated last year
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated 2 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 9 months ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆138Updated this week
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 months ago
- ☆101Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- An introduction to the J programming language that gets to the point.☆63Updated 2 months ago
- Lisp like, embeddable and extendable scripting language supporting go interoperability☆37Updated 11 months ago
- A literate programming system for any language.☆112Updated last year
- ☆60Updated last year
- maps are everything.☆10Updated 2 weeks ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- A Modeling Notation ꕤ☆15Updated 2 months ago
- ☆29Updated last month
- A small, weird and unpractical programming language.☆103Updated last week
- A List of companies that use Array Languages (J, K, APL, q)☆98Updated last year
- The rule-based graph programming language GP 2☆68Updated last year
- ☆45Updated last month
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 6 months ago
- A high-level programming language☆39Updated 5 months ago
- A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting☆43Updated 6 months ago
- ☆89Updated 5 months ago
- A minimal stack based programming language☆33Updated last year
- ☆95Updated 2 years ago
- A toy programming language.☆40Updated last year