Alternatives and similar repositories for books:

Users that are interested in books are comparing it to the libraries listed below

• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• 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
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 3 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• mflatt / sirmail
  an IMAP mail client implemented in Racket
  ☆31Updated 6 months ago
• sborrazas / shen-erl
  Erlang port of the Shen programming language
  ☆26Updated 5 years ago
• melsman / aplparse
  APL parser written in Standard ML
  ☆19Updated 8 years ago
• janestreet / re2
  OCaml bindings for RE2
  ☆44Updated last month
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆19Updated 4 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆14Updated this week
• feeley / pyffi
  Gambit Scheme library to interface to Python
  ☆9Updated 7 months ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• cnbbooks / lfe-casting-spels
  Casting SPELs in Lisp, the LFE Edition
  ☆38Updated 7 months ago
• stchang / mlish
  ☆21Updated 4 years ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆17Updated last month
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 3 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated last month
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 4 months ago
• suhr / wcpl
  ☆16Updated 6 years ago
• janestreet / core_unix
  Unix-specific portions of Core
  ☆15Updated last month
• atlas-engineer / closure
  Closure web engine
  ☆17Updated 2 years ago
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 4 years ago
• steinuil / the-little-ocamler
  The examples from "The Little MLer" in OCaml and ReasonML
  ☆30Updated 4 years ago
• mracos / asdf-swiprolog
  SWI-Prolog plugin for the asdf version manager
  ☆10Updated 10 months ago
• jsoftware / data_jd
  Jd
  ☆14Updated 3 weeks ago
• Metaxal / quickscript
  Easy scripting for DrRacket
  ☆18Updated 2 months ago