Alternatives and similar repositories for thoughttreasure

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

• eriktmueller / daydreamer

  View on GitHub
  DAYDREAMER goal-based agent
  ☆78Jan 5, 2022Updated 4 years ago
• logicmoo / pfc

  View on GitHub
  Pfc: adding forward chaining and truth maintenance to Prolog
  ☆12Sep 6, 2022Updated 3 years ago
• tkuhn / AceRules

  View on GitHub
  A rule engine based on Attempto Controlled English
  ☆18Nov 1, 2024Updated last year
• logicmoo / logicmoo_ec

  View on GitHub
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Feb 6, 2022Updated 4 years ago
• logicmoo / programk

  View on GitHub
  Chatbot impls in Prolog
  ☆15Feb 15, 2022Updated 3 years ago
• logicmoo / CYC_JRTL_with_CommonLisp

  View on GitHub
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆17Apr 17, 2023Updated 2 years ago
• SWI-PrologTeamLudumDare32 / LudumDare

  View on GitHub
  Our Ludum Dare entry
  ☆20Feb 19, 2017Updated 8 years ago
• sysulic / MEPK

  View on GitHub
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Feb 20, 2025Updated 11 months ago
• aymara / knowledgesrl

  View on GitHub
  Knowledge-based Semantic Role Labeling
  ☆16Jan 31, 2025Updated last year
• weblyzard / ewrt

  View on GitHub
  extensible Web Retrieval Toolkit
  ☆17Jun 2, 2022Updated 3 years ago
• Effervex / CycDAG

  View on GitHub
  A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…
  ☆22Nov 26, 2015Updated 10 years ago
• nasa-jpl-memex / memex-gate

  View on GitHub
  General Architecture for Text Engineering
  ☆49Mar 23, 2016Updated 9 years ago
• ptarau / binprolog

  View on GitHub
  Fast, simplified WAM-based Prolog system
  ☆25Oct 30, 2025Updated 3 months ago
• ronwalf / swoop

  View on GitHub
  Automatically exported from code.google.com/p/swoop
  ☆36Mar 12, 2015Updated 10 years ago
• valeriobasile / learningbyreading

  View on GitHub
  Learning by Reading pipeline of NLP and Entity Linking tools
  ☆85Dec 8, 2022Updated 3 years ago
• ontologyportal / sigmakee

  View on GitHub
  Sigma Knowledge Engineering Environment
  ☆117Feb 7, 2026Updated last week
• skeezicsb / PERQemu

  View on GitHub
  An emulator for the Three Rivers Computer PERQ workstation
  ☆12Jan 23, 2026Updated 3 weeks ago
• white-flame / clyc

  View on GitHub
  Port of Cyc to Common Lisp
  ☆23Sep 1, 2020Updated 5 years ago
• hansent / lbfont

  View on GitHub
  draw nice vextor fonts in openGL. C implementation using freetype of loop blinn technique for rendering vector graphics on gpu
  ☆12Sep 24, 2010Updated 15 years ago
• mikolalysenko / signed-distance

  View on GitHub
  Signed distance field computations for meshes
  ☆12Oct 7, 2014Updated 11 years ago
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• slburson / PTTP

  View on GitHub
  Prolog Technology Theorem Prover
  ☆12Jun 19, 2024Updated last year
• arbox / shalmaneser

  View on GitHub
  Shalmaneser is a Shallow Semantic Parser.
  ☆11Nov 14, 2016Updated 9 years ago
• thoppe / Encyclopedia-of-Finite-Graphs

  View on GitHub
  Set of tools and data to compute all known invariants for simple connected graphs
  ☆14Mar 6, 2018Updated 7 years ago
• hnbeck / ecblackjack

  View on GitHub
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Feb 2, 2020Updated 6 years ago
• Germanunkol / BezierDrawing

  View on GitHub
  Love2D Drawing Library using cubic Bezier curves.
  ☆11Jan 12, 2014Updated 12 years ago
• SNePS / CSNePS

  View on GitHub
  The CSNePS Knowledge Representation and Reasoning System
  ☆29Apr 23, 2025Updated 9 months ago
• prova / prova

  View on GitHub
  ☆36Jan 2, 2024Updated 2 years ago
• Attempto / Clex

  View on GitHub
  Large lexicon for APE (~100,000 entries)
  ☆30Nov 5, 2018Updated 7 years ago
• thetrime / heroku-prolog-buildpack

  View on GitHub
  How hard can it be?
  ☆11May 4, 2018Updated 7 years ago
• PistonDevelopers / asset_store

  View on GitHub
  DEPRECATED - A unified method for easily reading and caching files over the filesystem and network.
  ☆10Sep 11, 2015Updated 10 years ago
• jpt4 / skio

  View on GitHub
  Pure relational SKI combinator calculus interpreter.
  ☆11Jul 13, 2017Updated 8 years ago
• SNePS / SNePS2

  View on GitHub
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆12Jun 6, 2018Updated 7 years ago
• cycorp / DistributedRepresentations

  View on GitHub
  ☆13Jun 25, 2015Updated 10 years ago
• martisak / dict2uml

  View on GitHub
  Python library that prints a dict as PlantUML code.
  ☆12Dec 8, 2022Updated 3 years ago
• mndrix / prolog_library_ideas

  View on GitHub
  Random ideas about libraries for Prolog
  ☆12Nov 2, 2016Updated 9 years ago
• darius / tusl

  View on GitHub
  A scripting language for extending C programs; recognizably Forth-like, but definitely not Forth.
  ☆20May 7, 2020Updated 5 years ago
• mitll / TweetE

  View on GitHub
  Tools for scraping of twitter data, conversion, text analysis and graph construction
  ☆11Aug 1, 2016Updated 9 years ago
• opencog / pln

  View on GitHub
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…
  ☆16Sep 20, 2025Updated 4 months ago