Alternatives and similar repositories for book

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

• flix / vscode-flix
  ☆23Updated last week
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated last month
• racket / datalog
  ☆48Updated last month
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆33Updated 3 weeks ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated 2 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 2 months ago
• prologbyexample / code
  ☆29Updated 2 years ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 2 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆52Updated 3 weeks ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 8 months ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 5 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated last month
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆43Updated 3 years ago
• lexi-lambda / talks
  ☆44Updated 2 years ago
• unisonweb / base
  Unison base libraries
  ☆19Updated last month
• LexiFi / menhir
  ☆21Updated last year
• drathier / purerlex
  ☆15Updated 3 weeks ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 11 months ago