vkostyukov / quipu
Quipu Programming Language
☆20Updated 12 years ago
Alternatives and similar repositories for quipu:
Users that are interested in quipu are comparing it to the libraries listed below
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- DevOps for Dyalog APL☆16Updated 4 months ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last month
- A code-golf language written in Mathematica☆20Updated 4 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Updated 5 years ago
- An implementation of the APL language in Python with the Numpy module☆30Updated 8 years ago
- MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister☆16Updated last year
- http://mroman.ch/burlesque☆14Updated 5 years ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆9Updated last year
- Audio library for BQN☆18Updated last year
- A fungeoid language where bends in the chain determine the instructions☆12Updated 3 years ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆18Updated 2 years ago
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆26Updated 9 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- A general purpose relational language☆19Updated 5 years ago
- lang Thue + Regex☆14Updated 3 years ago
- various toys in j☆12Updated 3 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- A 2d "programming language" based around triangles☆10Updated last year
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Updated last year
- LODA Programs for Integer Sequences☆34Updated this week
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated this week
- A concise programming language that is fun to use☆16Updated 9 years ago
- A superset of brainfuck with dynamic memory management.☆28Updated 4 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆44Updated 3 years ago
- ☆32Updated 2 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago