Alternatives and similar repositories for book

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

• lexi-lambda / talks
  ☆45Updated 2 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆10Updated 9 months ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆25Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 10 months ago
• olynch / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆11Updated 3 years ago
• racket / datalog
  ☆49Updated last month
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 6 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated 2 months ago
• stefan-hoeck / idris2-pack-db
  ☆30Updated this week
• prologbyexample / code
  ☆31Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆29Updated 8 months ago
• tiansivive / yap
  A broken problem
  ☆18Updated this week
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated 2 weeks ago
• mattecapu / categorical-systems-theory
  ☆44Updated 8 months ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Updated last year
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆34Updated 3 weeks ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆46Updated last year
• evhub / coconut-prelude
  An implementation of Haskell's Prelude in Python using Coconut.
  ☆21Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆38Updated 2 months ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆29Updated last year
• mthom / scryer-shen
  ☆57Updated 7 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• lexi-lambda / lexi-lambda.github.io
  ☆37Updated 6 months ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 3 months ago
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago