Alternatives and similar repositories for book

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

• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆32Updated last week
• 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
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated last month
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated 3 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 5 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated last week
• lexi-lambda / talks
  ☆44Updated last year
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 2 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• drathier / purerlex
  ☆15Updated last month
• mthom / scryer-shen
  ☆51Updated 2 weeks ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• MatthewFluet / tree-sitter-sml
  Standard ML (SML) grammar for tree-sitter
  ☆15Updated last week
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 11 months ago
• unisonweb / base
  Unison base libraries
  ☆19Updated 2 weeks ago
• flix / vscode-flix
  ☆23Updated this week
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 6 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 7 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆42Updated 11 months ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆50Updated this week
• 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
  ☆34Updated 4 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 7 months ago