Mercury-Language / books
☆13Updated last year
Alternatives and similar repositories for books:
Users that are interested in books are comparing it to the libraries listed below
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- The MLtonLibrary repository☆36Updated last year
- 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
- ☆13Updated last month
- Pony syntax highlighting, Code formatting, Playground and more things for Emacs.☆34Updated 2 weeks ago
- A versioning file store backed by git, darcs, or mercurial☆34Updated 3 months ago
- Gambit Scheme library to interface to Python☆9Updated 10 months ago
- Supervisor trees (and some more) for Common Lisp☆21Updated 4 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- The Codebase UI that ships with UCM☆15Updated this week
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆12Updated 4 years ago
- ☆21Updated 5 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- An environment variable manager for Racket applications☆17Updated last year
- IDE support for the functional logic programming language Curry☆30Updated last week
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- Minimal SML-based web server☆14Updated 9 years ago
- A Scheme to Unlambda compiler☆18Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 4 months ago
- ☆16Updated 6 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- ☆16Updated 5 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 5 years ago