Alternatives and similar repositories for book

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

• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 3 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆34Updated last month
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 8 months ago
• prologbyexample / code
  ☆29Updated 2 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• jkoppel / ecta
  ☆35Updated last year
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆24Updated 3 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆52Updated 3 weeks ago
• hbr / Lambda-Calculus
  Some papers on "Lambda Calculus"
  ☆29Updated 4 months ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆24Updated 3 months ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated 2 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 11 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆33Updated 3 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• lexi-lambda / talks
  ☆44Updated 2 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• tominated / system_f_omega
  My Attempt at System Fω with Row-Polymorphism
  ☆30Updated 4 years ago
• brownplt / code.pyret.org
  Website for serving Pyret to folks.
  ☆25Updated this week
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 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
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆32Updated 8 months ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year