amirouche / copernic

Related projects: ⓘ

• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆22Updated 6 months ago
• synchrony / smsn-why
  Get psyched about mapping knowledge!
  ☆30Updated last year
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆15Updated 4 years ago
• poef / hope
  A render engine and editor for html markup that is stored seperate from the content - out of band - as Ted Nelson would like.
  ☆34Updated 2 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆90Updated 4 months ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆51Updated 6 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆56Updated 4 years ago
• bor0 / gibl
  ☆49Updated this week
• rdfio / rdf2smw
  Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool
  ☆18Updated 5 years ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆12Updated 7 months ago
• hylang / hydiomatic
  The Hy Transformer
  ☆80Updated 5 years ago
• cwebber / racket-linkeddata
  Linked data tooling for the Racket programming language (json-ld, eventually more)
  ☆16Updated 6 years ago
• alexispurslane / atomicdatabase
  This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …
  ☆21Updated 7 months ago
• terminusdb / terminus-schema
  Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB
  ☆9Updated 4 years ago
• alltom / propagators
  JavaScript implementation of Radul and Sussman's Propagator model
  ☆15Updated 10 years ago
• lps-js / lps.js
  Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
  ☆49Updated 5 years ago
• ekoontz / psqlog
  Datalog in PostgreSQL
  ☆25Updated 9 years ago
• BFergerson / Arthur
  Semantic language-agnostic source code schema
  ☆16Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• amirouche / hoply
  ☆101Updated this week
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆23Updated 7 years ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆28Updated last week
• darius / cant
  A programming argot
  ☆58Updated 5 months ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆19Updated 4 months ago
• mro / librdf.sqlite
  ☆21Updated this week
• alanruttenberg / lsw2
  OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
  ☆26Updated 3 months ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆51Updated last year
• sixty-north / python-transducers
  ☆55Updated 7 years ago