Explore @knowsys Open Source projects

Knowledge-Based Systems (@knowsys)

knowsys

Stars
172
Global Org. Rank 43,808 (Top 14 %)
Registered over 6 years ago
Most used languages

TeX
18.2 %

TypeScript
18.2 %

Lean 18.2 %

Python
9.1 %

C++
9.1 %

Rust
9.1 %

Java
9.1 %

HTML
9.1 %
Location 🇩🇪 Germany
Country Total Rank 8,758
Country Ranking

Lean 8

TeX
96

Rust
379

HTML
706

Java
1,661

TypeScript
4,210

C++
6,286

nemo

A fast in-memory rule engine

FormaleSysteme

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

rulewerk

Java library based on the VLog rule engine

Course-Knowledge-Graphs

Test data and example source code for the Knowledge Graphs lecture 2023/24

TheoLog

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

Formale-Systeme-in-LEAN

LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)

CertifyingDatalog

A certified checker for Datalog entailments, written in Lean

nemo-web

Web frontend for the Nemo rules engine

2022-ISWC-reliances

nemo-examples

Benchmarks and examples for the Nemo rule reasoner

rulewerk-language-suppport

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