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
  ☆24Updated 4 months ago
• flix / vscode-flix
  ☆22Updated this week
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 3 weeks ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 2 weeks ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated last month
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• jkoppel / ecta
  ☆34Updated last year
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years 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 3 years ago
• lexi-lambda / talks
  ☆44Updated last year
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 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
• 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 9 months ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆32Updated last year
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last week
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆33Updated last year
• racket / datalog
  ☆46Updated last month
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆26Updated 7 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 6 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆30Updated 3 months ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 3 months ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago