Mercury-Language / booksLinks
☆14Updated last year
Alternatives and similar repositories for books
Users that are interested in books are comparing it to the libraries listed below
Sorting:
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- Font for turning J into APL☆13Updated 6 years ago
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- ☆16Updated 7 years ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- Wasm tooling in Racket.☆43Updated 2 years ago
- Exercism exercises in Standard ML.☆28Updated this week
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- ☆48Updated 2 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- Gambit Scheme library to interface to Python☆9Updated last year
- ☆22Updated 5 years ago
- MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com☆48Updated last month
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- ☆35Updated 6 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- A server, client and UI for remotely debugging Racket applications.☆30Updated last month
- The Ur/Web People Organizer☆30Updated last year
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- 1ML prototype interpreter☆20Updated 4 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Erlang port of the Shen programming language☆26Updated 5 years ago
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆46Updated 9 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- WebAssembly version of Plorth programming language☆16Updated 7 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago