Mercury-Language / books

Related projects ⓘ

Alternatives and complementary repositories for books

• idris-hackers / idris-cph-exercises
  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
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 2 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 11 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆14Updated last week
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆66Updated 10 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• MattX / peroxide
  Scheme in Rust
  ☆16Updated 2 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• atlas-engineer / closure
  Closure web engine
  ☆17Updated 2 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• racket / datalog
  ☆43Updated 3 weeks ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆19Updated 4 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• sborrazas / shen-erl
  Erlang port of the Shen programming language
  ☆26Updated 4 years ago
• edwinb / idris-lang.org
  Idris web site
  ☆15Updated 7 months ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆19Updated 3 weeks ago
• guenchi / setup-scheme
  Github Actions CI / CD setup for Scheme
  ☆15Updated last year
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• scheme-live / live
  Scheme library collection with yearly stable releases
  ☆16Updated 2 years ago
• haskell-lisp / blaise
  Slava Akhmechet's Lisp from 2006
  ☆14Updated 10 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• mracos / asdf-swiprolog
  SWI-Prolog plugin for the asdf version manager
  ☆10Updated 8 months ago
• janestreet / re2
  OCaml bindings for RE2
  ☆43Updated this week
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 8 years ago