Alternatives and similar repositories for xultybau

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

• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated last year
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆22Updated 3 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• eriktmueller / thoughttreasure
  ThoughtTreasure commonsense knowledge base and architecture for natural language processing
  ☆79Updated 9 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 3 months ago
• mouse-reeve / fact-join
  Combine two wikipedia pages to make new facts. Tweets @brand_new_facts
  ☆18Updated 6 years ago
• bogdanb / hpmor
  Latex version of “Harry Potter and the Methods of Rationality”
  ☆12Updated 2 years ago
• w2g / w2g
  World Wide Graph: A memex for semantic notetaking
  ☆46Updated 4 years ago
• alexfink / random_language
  Random language generation
  ☆65Updated 5 years ago
• stuartpb / shrdlu
  Terry Winograd's SHRDLU
  ☆40Updated 14 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆77Updated 3 years ago
• p-e-w / sequencer
  Purely algorithmic number sequence identification
  ☆30Updated 3 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆39Updated 2 years ago
• JanWielemaker / rits
  Rule-based Intelligent Tutoring System
  ☆11Updated 10 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆94Updated 13 years ago
• lojban / jbovlaste
  ☆32Updated 3 months ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 3 weeks ago
• Effervex / CycDAG
  A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…
  ☆20Updated 9 years ago
• enkiv2 / ggc
  Generative Grammar Compiler
  ☆19Updated 8 years ago
• feminism-chat / feminism-chat.github.io
  ☆15Updated 4 years ago
• daeldir / jbogidva
  A tool to help learning lojban by reading.
  ☆26Updated 2 weeks ago
• SWI-Prolog / packages-plunit
  The SWI-Prolog Unit Testing library
  ☆9Updated 3 weeks ago
• sloumdrone / burrow
  A GUI based gopher (protocol) client
  ☆21Updated 5 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆26Updated 9 years ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆150Updated 3 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• lagleki / livla
  A combine of Lojban tools
  ☆23Updated 3 months ago