Alternatives and similar repositories for japl

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

• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆17Updated 6 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 8 years ago
• dvanhorn / dpc
  Designing Programs with Class
  ☆28Updated 7 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆35Updated last year
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 9 months ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆20Updated 6 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆78Updated last year
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆83Updated last year
• racket / datalog
  ☆49Updated 2 months ago
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆77Updated 2 years ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 8 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 6 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 8 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆44Updated 6 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆48Updated last year
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 3 years ago
• kmicinski / cmsc330examples
  Examples from the class CMSC 330 during Summer 2015
  ☆49Updated 10 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆36Updated 8 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 5 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Updated 10 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
• chrisamaphone / ml-mukanren
  microkanren in sml
  ☆27Updated 10 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆34Updated last year
• stchang / macrotypes
  ☆138Updated 3 years ago