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:
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- Font for turning J into APL☆13Updated 6 years ago
- 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
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- ☆16Updated 7 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- SWI-Prolog plugin for the asdf version manager☆10Updated last year
- Haskell binding for PADS☆19Updated 6 years ago
- A versioning file store backed by git, darcs, or mercurial☆35Updated this week
- Run Lisp in a Browser☆12Updated 5 months ago
- The Codebase UI that ships with UCM☆16Updated this week
- A decentralized linux distribution.☆12Updated 3 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- ☆22Updated 5 years ago
- Pony syntax highlighting, Code formatting, Playground and more things for Emacs.☆34Updated 3 weeks ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- S-expression swiss knife☆45Updated 2 weeks ago
- Miscellaneous Racket utilities lacking a better home☆12Updated 7 months ago
- Gambit Scheme library to interface to Python☆9Updated last year
- miniKanren in OCaml☆31Updated 2 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- LablTk, an OCaml interface for Tcl/Tk☆34Updated 5 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- This package contains a lightweight deductive database system in OCaml☆41Updated 3 years ago
- ☆23Updated 7 years ago
- Slava Akhmechet's Lisp from 2006☆14Updated 11 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago