Alternatives and similar repositories for interactive-lp:

Users that are interested in interactive-lp are comparing it to the libraries listed below

• chrisamaphone / ceptre-tutorial
  Tutorial materials for Ceptre.
  ☆14Updated 8 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆392Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 4 months ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆300Updated this week
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆213Updated 2 years ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆177Updated 6 years ago
• tca / veneer
  miniKanren in the browser
  ☆55Updated 8 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆307Updated 10 years ago
• stedolan / malfunction
  Malfunctional Programming
  ☆344Updated 3 months ago
• yawgmoth / Ostari
  Practical Specification of Belief Manipulation in Games
  ☆32Updated 7 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆152Updated 10 months ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆159Updated 6 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆171Updated 10 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆141Updated last month
• nomeata / incredible
  The Incredible Proof Machine
  ☆367Updated last year
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated 2 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 3 months ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 6 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated 2 weeks ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 5 months ago
• dmbarbour / Sirea
  Simply Reactive! Declarative orchestration in Haskell using RDP
  ☆272Updated 11 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆104Updated last week
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆411Updated 8 years ago
• noether-lang / noether
  Noether programming language
  ☆126Updated 7 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆194Updated 10 months ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago