Alternatives and similar repositories for core

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

• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 5 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 4 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated this week
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆26Updated 3 months ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 5 months ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated last month
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆55Updated 3 months ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 8 months ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆49Updated last year
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated 2 years ago
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆21Updated 3 years ago
• hexhex / hexlite
  Python-based HEX implementation for a fragment of the HEX language and a subset of features.
  ☆14Updated 3 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆47Updated 3 years ago
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated 3 weeks ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆29Updated 4 years ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• prova / prova
  ☆36Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated last month
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago