yarel-di / yarelLinks
Develop here a programming language of reversible combinators
☆16Updated 4 years ago
Alternatives and similar repositories for yarel
Users that are interested in yarel are comparing it to the libraries listed below
Sorting:
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last week
- A programming language and user interface toolkit for creating structured editors.☆20Updated last year
- A toy programming language.☆41Updated last year
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 15 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 4 years ago
- Art of Prolog Code☆36Updated 6 years ago
- A functional fluent API generator☆35Updated 3 years ago
- A set of visualization engines.☆14Updated this week
- High-end Cryptographic Library☆44Updated 6 years ago
- An implementation of the Newspeak programming language☆69Updated last month
- A #lang implementation of Lua 5.4 for Racket.☆57Updated 2 months ago
- lang befunge 93 fast☆21Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated last week
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆31Updated 2 years ago
- Simple array language written in kotlin☆46Updated 2 years ago
- A dynamic language inspired by Python and E.☆79Updated 5 years ago
- My unofficial picat http://picat-lang.org/ repository☆30Updated 2 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- A programming language based on bindings.☆12Updated 6 months ago
- Self-hosting compiler for the Grace programming language☆42Updated last year
- The interpreter for Rhovas, a programming language for API design and enforcement.☆36Updated 5 months ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Wasm tooling in Racket.☆45Updated 2 years ago
- Intuitionistic Programming Language☆12Updated 12 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated this week
- Official Sagittarius Scheme repository☆59Updated this week
- okami is an application development platform☆39Updated 4 months ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year