{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Formale-Systeme-in-LEAN","owner":"knowsys","isFork":false,"description":"LEAN4 formalization of the undergraduate lecture \"Formale Systeme\" at TU Dresden (WIP)","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":1,"issueCount":0,"starsCount":6,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-19T14:27:08.969Z"}},{"type":"Public","name":"nemo-web","owner":"knowsys","isFork":false,"description":"Web frontend for the Nemo rules engine","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":2,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T07:12:07.396Z"}},{"type":"Public","name":"nemo","owner":"knowsys","isFork":false,"description":"A fast in-memory rule engine","allTopics":["rule-engine","datalog"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":27,"starsCount":49,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-17T02:06:11.618Z"}},{"type":"Public","name":"CertifyingDatalog","owner":"knowsys","isFork":false,"description":"A certified checker for Datalog entailments, written in Lean","allTopics":[],"primaryLanguage":{"name":"Lean","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-16T08:07:55.693Z"}},{"type":"Public","name":"TheoLog","owner":"knowsys","isFork":false,"description":"Vorlesungsunterlagen \"Theoretische Informatik und Logik\", Fakultät Informatik, TU Dresden","allTopics":["german","first-order-logic","teaching","complexity","turing-machine","theoretical-computer-science","teaching-materials"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":2,"issueCount":11,"starsCount":22,"forksCount":22,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-15T08:35:09.643Z"}},{"type":"Public","name":"eval-2024-asp-molecules","owner":"knowsys","isFork":false,"description":"Evaluation files for an ASP-based tool that enumerates molecule shapes for a given sum fomula","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T07:54:56.482Z"}},{"type":"Public","name":"nemo-vscode-extension","owner":"knowsys","isFork":false,"description":"Extension to support Nemo rules in VSCode and compatible editors","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-24T10:41:56.849Z"}},{"type":"Public","name":"rulewerk","owner":"knowsys","isFork":false,"description":"Java library based on the VLog rule engine","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":7,"issueCount":51,"starsCount":33,"forksCount":13,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T15:04:58.337Z"}},{"type":"Public","name":"nemo-examples","owner":"knowsys","isFork":false,"description":"Benchmarks and examples for the Nemo rule reasoner","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T03:14:39.034Z"}},{"type":"Public","name":"FormaleSysteme","owner":"knowsys","isFork":false,"description":"Unterlagen zur Vorlesung \"Formale Systeme\", Fakultät Informatik, TU Dresden","allTopics":["automata","german","regular-expression","teaching","complexity","turing-machine","theoretical-computer-science","propositional-logic","formal-languages","teaching-materials"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":8,"starsCount":42,"forksCount":14,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-07T06:07:30.335Z"}},{"type":"Public","name":"Course-Knowledge-Graphs","owner":"knowsys","isFork":false,"description":"Test data and example source code for the Knowledge Graphs lecture 2023/24","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":31,"forksCount":22,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-23T14:59:21.174Z"}},{"type":"Public","name":".github","owner":"knowsys","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-02T15:17:54.309Z"}},{"type":"Public","name":"eval-combined-approach-horn-alchoiq","owner":"knowsys","isFork":false,"description":"Proof-of-concept implementation of a combined approach for Horn-ALCHOIQ and its experimental evaluation","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-17T17:22:36.774Z"}},{"type":"Public","name":"rulewerk-language-suppport","owner":"knowsys","isFork":false,"description":"A Visual Studio Code extension for rulewerk language (an extension of Datalog with Existential rules and stratified negation).","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":2,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-26T16:26:53.789Z"}},{"type":"Public","name":"rulewerk-example","owner":"knowsys","isFork":false,"description":"Example project that shows the use of Rulewerk","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-07T13:07:10.451Z"}},{"type":"Public","name":"while-simulator","owner":"knowsys","isFork":false,"description":"A simulator for the WHILE programming language","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-16T12:50:20.773Z"}},{"type":"Public","name":"2022-ISWC-reliances","owner":"knowsys","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-26T11:48:57.411Z"}},{"type":"Public","name":"eval-2022-IJCAI-asp-with-sets","owner":"knowsys","isFork":false,"description":"Evaluation data for the IJCAI 2022 paper \"Simulating Sets in Answer Set Programming\"","allTopics":["knowledge-representation","answer-set-programming","reasoning"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-30T18:59:12.696Z"}},{"type":"Public","name":"eval-datalog-arithmetic","owner":"knowsys","isFork":false,"description":"Evaluation data for the work \"A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic\"","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-09T11:59:44.621Z"}},{"type":"Public","name":"VLog-cpp-API","owner":"knowsys","isFork":false,"description":"a c++ API for using VLog, with some of Rulewerk functionality","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-25T03:55:44.029Z"}},{"type":"Public","name":"rulewerk-eclipse","owner":"knowsys","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-24T14:44:23.325Z"}},{"type":"Public","name":"eval-2019-ISWC-VLog","owner":"knowsys","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-25T13:11:01.149Z"}}],"repositoryCount":22,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"knowsys repositories"}