Alternatives and similar repositories for book:

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

• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated last month
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆32Updated 3 weeks ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated last month
• flix / vscode-flix
  ☆22Updated 3 weeks ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• 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 3 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• jkoppel / ecta
  ☆35Updated last year
• lexi-lambda / talks
  ☆44Updated last year
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆24Updated 3 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆33Updated 4 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated this week
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• alt-romes / haskell-x-swift-project-steps
  A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post
  ☆14Updated 10 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 6 months ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• racket / datalog
  ☆46Updated 2 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 7 months 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
  ☆33Updated this week
• pkamenarsky / synchron
  Synchronous programming in Haskell
  ☆17Updated 4 years ago