Owner

knowsys

9 indexed repositories · View on GitHub

• nemo

  A fast in-memory rule engine

  Rust · 291 stars

• FormaleSysteme

  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

  TeX · 51 stars

• rulewerk

  Java library based on the VLog rule engine

  Java · 36 stars

• TheoLog

  Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

  TeX · 28 stars

• nemo-web

  Web frontend for the Nemo rules engine

  TypeScript · 7 stars

• rulewerk-language-suppport

  A Visual Studio Code extension for rulewerk language (an extension of Datalog with Existential rules and stratified negation).

  TypeScript · 1 star

• rulewerk-eclipse

  Java · 0 stars

• while-simulator

  A simulator for the WHILE programming language

  TypeScript · 0 stars

• nemo-doc

  Documentation pages for the Nemo rules engine

  MDX · 0 stars