koo5 / koordinator2000

Related projects: ⓘ

• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆17Updated 2 years ago
• davekinkead / reasons
  Web based argument mapping tools
  ☆17Updated last year
• aindilis / mealsolver
  Logic-based meal optimizer
  ☆14Updated 3 years ago
• logicmoo / CYC_JRTL_with_CommonLisp
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆16Updated last year
• thymeflow / thymeflow
  Installer for Thymeflow, a personal knowledge management system.
  ☆32Updated 6 years ago
• judell / TagRename
  Rename Hypothesis tags
  ☆15Updated 4 years ago
• judell / CopyAnnotations
  Copy top-level annotations from one URL (and/or group) to another
  ☆14Updated 3 years ago
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆15Updated 2 years ago
• AgarwalPragy / MindWiki
  Mind.Wiki is a cross platform desktop application for personal knowledge management. ETA: ??
  ☆24Updated last year
• ontohub / ontohub
  A web-based repository for distributed ontologies.
  ☆32Updated 7 years ago
• aindilis / frdcsa-panoply-git-20200329
  How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)
  ☆9Updated last year
• cmungall / cltools
  tools for common-logic
  ☆19Updated 11 years ago
• aindilis / free-life-planner
  Free Life Planner: An AI tool for helping with planning for day-to-day life.
  ☆57Updated 2 weeks ago
• mark-book / markbook
  book mark <--> mark book -- insane social bookmarking for the solid platform
  ☆17Updated 7 months ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆51Updated 6 months ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 11 months ago
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated last year
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆20Updated 2 years ago
• hypothesis / bouncer
  The "hyp.is" service that takes a user to a URL with Hypothesis activated
  ☆47Updated this week
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 5 years ago
• x28de / mytool
  A visual think tool whose two panes are adequate to the two basic modes of brain operation
  ☆12Updated 2 months ago
• inkandswitch / ksp-browser
  Connect the things you already know in your browser.
  ☆69Updated last year
• automenta / spimedb
  EXPLORE & EDIT REALITY
  ☆17Updated 9 months ago
• EvolutionaryLinguisticsAssociation / Babel2
  ☆23Updated this week
• paulbricman / semantica
  Extending conceptual thinking with semantic embeddings.
  ☆36Updated 2 years ago
• seanbreckenridge / HPI_API
  An automatic JSON API for HPI
  ☆14Updated last year
• terminusdb / technical-blogs
  Technical blogs around data collaboration, data management, and building collaborative applications.
  ☆42Updated last year
• BFergerson / Arthur
  Semantic language-agnostic source code schema
  ☆16Updated last year
• smartdown / smartdown
  Javascript library that interprets and displays Smartdown documents as web content.
  ☆21Updated last month
• zazuko / zack-search
  A highly adaptable HTML5 only component that enables interactive access and search data from a SPARQL endpoint.
  ☆10Updated 11 months ago