rootmos / silly-kLinks
silly-k is an experimental language inspired by K and APL
☆15Updated 11 months ago
Alternatives and similar repositories for silly-k
Users that are interested in silly-k are comparing it to the libraries listed below
Sorting:
- Pinocchio VM☆21Updated 5 years ago
- A collection of code related to the HANSEI language☆10Updated 9 years ago
- experimental computational medium and supporting tools☆23Updated last month
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- ☆19Updated 7 years ago
- APL compiler written in Standard ML☆34Updated 4 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Updated 7 years ago
- Quark, A Functional, Purely Homoiconic, Concatenative Language☆28Updated 9 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- Probabilistic miniKanren☆65Updated 9 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 9 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- q mode for emacs☆13Updated 5 years ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆107Updated 6 years ago
- APL parser written in Standard ML☆18Updated 9 years ago
- Poplog☆21Updated 14 years ago
- GPL licensed J interpreter☆38Updated 9 years ago
- Meld compiler written in Common Lisp☆13Updated 9 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- Dependently Typed Genetic Programming☆23Updated 14 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Updated 5 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- An object-oriented dialect of Scheme☆61Updated 3 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- ☆74Updated 10 years ago
- Quickcheck Clone implemented in Racket☆31Updated last year
- The BitC Programming Language (unofficial, unaffiliated mirror)☆26Updated 13 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago