Alternatives and similar repositories for book:

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

• flix / vscode-flix
  ☆22Updated 3 weeks ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆24Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆15Updated 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
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆30Updated this week
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆29Updated 2 months ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 8 months ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 4 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 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
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆24Updated 3 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• racket / datalog
  ☆45Updated 3 weeks ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• janestreet / re2
  OCaml bindings for RE2
  ☆46Updated 4 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆39Updated 9 months ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 7 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆15Updated 2 weeks ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated 5 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago