Alternatives and similar repositories for MORK:

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

• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆17Updated this week
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 7 months ago
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆23Updated last month
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆56Updated 3 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆40Updated 2 weeks ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• jamesnvc / vuelog
  Prolog Pengines + vue.js
  ☆17Updated 6 years ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆16Updated 2 weeks ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆45Updated last year
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆13Updated 2 weeks ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 11 months ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 2 months ago
• opencog / pln
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/hyperon-pln]. Probabilistic Logic Network (PLN) implemented on top of…
  ☆16Updated 2 weeks ago
• celinehocquette / numsynth-aaai23
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆15Updated 2 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆21Updated 2 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 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