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

Beginner friendly Everything

Open All

Add Jupyter kernel for Nemo Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

knowsys/nemo#810 · Opened Aug 24, 2026
Exporting a right-recursive predicate panics with `rowscan.rs:83` index out of bounds (v0.10.1 and main) Open

knowsys/nemo#808 · 1 assignee · Opened Aug 22, 2026
Mixed numeric #min/#max compare storage types instead of values Open

Difficulty 3/5 1-2 days Newbie friendliness 74/100

knowsys/nemo#805 · Opened Aug 16, 2026
Support for Stable Toolchain Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

knowsys/nemo#796 · 1 comment · Opened Jul 31, 2026
T2 queries on rules that no longer exist on the code Open

tracing

knowsys/nemo#791 · 1 comment · 1 assignee · Opened Jun 26, 2026
Weird behaviour of editor in the examples tab Open

bug

knowsys/nemo-web#53 · 2 comments · 1 assignee · Opened Apr 29, 2026
Reset execution engine to blank program, keeping imports Open

api enhancement logical python wasm

knowsys/nemo#784 · 1 reaction · 1 assignee · Opened Apr 13, 2026
Support more aggregates Open

aggregates

Difficulty 4/5 3-5 days Newbie friendliness 48/100

knowsys/nemo#782 · Opened Apr 8, 2026
Language Reference should be complete Open

Difficulty 3/5 1-2 days Newbie friendliness 55/100

knowsys/nemo-doc#28 · Opened Mar 25, 2026
Document Python API Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

knowsys/nemo-doc#27 · Opened Mar 25, 2026
Document the rust API Open

Difficulty 2/5 1-3 hours Newbie friendliness 65/100

knowsys/nemo-doc#26 · Opened Mar 25, 2026
Allow infix operators in filter terms Open

Parser

knowsys/nemo#779 · 1 assignee · Opened Mar 20, 2026
Set window title from file-level comment Open

enhancement good first issue

knowsys/nemo-web#48 · 1 assignee · Opened Mar 18, 2026
Handle multi-byte characters in URL encoding Open

bug

knowsys/nemo-web#47 · 1 assignee · Opened Mar 18, 2026
Integrate rule saturation Open

enhancement logical physical planning engine

knowsys/nemo#775 · 1 assignee · Opened Mar 13, 2026
Transparently handle transformations in tracing Open

tracing transformation

Difficulty 5/5 Over a week Newbie friendliness 25/100

knowsys/nemo#774 · 1 comment · Opened Mar 13, 2026
Properly track component provenance during transformations Open

technical-debt transformation

knowsys/nemo#773 · 1 assignee · Opened Mar 13, 2026
Push more filters into SPARQL queries Open

builtins sparql

Difficulty 5/5 Over a week Newbie friendliness 35/100

knowsys/nemo#772 · 2 comments · Opened Mar 13, 2026
Support different (input) arities in sources for the same table Open

io physical

knowsys/nemo#771 · 1 comment · 1 assignee · Opened Mar 10, 2026
Add built-in to strip/trim strings Open

builtins enhancement good first issue

Difficulty 3/5 1-2 days Newbie friendliness 48/100

knowsys/nemo#769 · 1 comment · Opened Mar 6, 2026
Add built-in for string splitting Open

builtins enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

knowsys/nemo#768 · Opened Mar 6, 2026
Feature Request - Non-Blocking Async Execution from within Rust Open

api

Difficulty 5/5 Over a week Newbie friendliness 35/100

knowsys/nemo#767 · 1 comment · Opened Mar 5, 2026
Speeding up inferencing ? Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

knowsys/nemo#763 · 10 comments · 1 reaction · Opened Mar 2, 2026
Website crashed bei Strg+X Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 42/100

knowsys/while-simulator#1 · Opened Feb 13, 2026
Kodierung von Zeichen in enc(M) Open

Difficulty 2/5 1-3 hours Newbie friendliness 65/100

knowsys/FormaleSysteme#54 · Opened Jan 26, 2026
Actually load translations Open

bug i18n

knowsys/nemo-web#46 · 1 assignee · Opened Nov 20, 2025
Relax overly strict stratification conditions for aggregates Open

aggregates enhancement program analysis

Difficulty 5/5 Over a week Newbie friendliness 35/100

knowsys/nemo#737 · Opened Oct 30, 2025
Externalise remaining hardcoded messages Open

enhancement i18n

Difficulty 3/5 1-2 days Newbie friendliness 45/100

knowsys/nemo-web#44 · Opened Oct 27, 2025
visual annoyance in lecture04.tex Open

Difficulty 1/5 Under an hour Newbie friendliness 60/100

knowsys/FormaleSysteme#53 · 1 comment · Opened Oct 23, 2025
Add control button pane to the left of the editor Open

enhancement

knowsys/nemo-web#39 · 1 assignee · Opened Oct 20, 2025
Reset editor scroll state when selecting examples Open

enhancement

Difficulty 2/5 1-3 hours Newbie friendliness 55/100

knowsys/nemo-web#38 · Opened Oct 20, 2025
List of publications based on Nemo. Open

documentation

Difficulty 5/5 Over a week Newbie friendliness 25/100

knowsys/nemo#729 · 1 comment · Opened Oct 20, 2025
Improve display of Nemo error messages Open

enhancement

knowsys/nemo-web#33 · 1 assignee · Opened Oct 10, 2025
Misleading syntax error for malformed local names after prefixes Open

enhancement Parser

Difficulty 3/5 1-2 days Newbie friendliness 45/100

knowsys/nemo#719 · 1 comment · Opened Oct 10, 2025
Dump the plan Open

logical planning engine

Difficulty 3/5 1-2 days Newbie friendliness 45/100

knowsys/nemo#718 · 2 comments · Opened Oct 10, 2025
Improve error handling for remote resources Open

enhancement io

Difficulty 4/5 3-5 days Newbie friendliness 35/100

knowsys/nemo#712 · 4 comments · Opened Sep 24, 2025
Add support for complex values (lists, sets, function terms, maps, etc.) Open

builtins enhancement logical physical

knowsys/nemo#699 · 1 reaction · 1 assignee · Opened Sep 11, 2025
Upgrade parser for nom 8 Open

dependency Parser technical-debt

Difficulty 3/5 1-2 days Newbie friendliness 48/100

knowsys/nemo#693 · Opened Jul 11, 2025
Restartable chase with changed program Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

knowsys/nemo#735 · 3 comments · Opened May 14, 2025
question about adding namespaces Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

knowsys/nemo#661 · 10 comments · Opened Apr 16, 2025
Set up testing Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

knowsys/nemo-web#16 · Opened Apr 1, 2025
Suport more functions Open

builtins

Difficulty 5/5 Over a week Newbie friendliness 25/100

knowsys/nemo#642 · 2 comments · Opened Mar 25, 2025
Support dateTime Open

type system

Difficulty 4/5 3-5 days Newbie friendliness 35/100

knowsys/nemo#641 · Opened Mar 25, 2025
Integer division should result in floating point value Open

arithmetic type system

Difficulty 3/5 1-2 days Newbie friendliness 45/100

knowsys/nemo#639 · Opened Mar 25, 2025
Min aggregation does not work correctly for strings Open

aggregates builtins

Difficulty 3/5 1-2 days Newbie friendliness 45/100

knowsys/nemo#638 · 1 comment · Opened Mar 25, 2025
Computing #sum panics when aggregating over non-numeric values Open

bug

knowsys/nemo#632 · 1 assignee · Opened Mar 20, 2025
Allow merging instead of overriding for `--export` CLI parameter Open

enhancement

knowsys/nemo#631 · 5 comments · 1 assignee · Opened Mar 20, 2025
Unbreak hyphenated prefixed names Open

Parser rdf

Difficulty 5/5 Over a week Newbie friendliness 35/100

knowsys/nemo#624 · Opened Feb 27, 2025
Integration testing for remote resources Open

infrastructure tests

Difficulty 4/5 3-5 days Newbie friendliness 45/100

knowsys/nemo#618 · Opened Feb 5, 2025
Integration tests for error messages Open

enhancement tests

Difficulty 4/5 3-5 days Newbie friendliness 35/100

knowsys/nemo#617 · 1 reaction · Opened Feb 5, 2025

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

knowsys

Showing the newest 100

Get new issues in your inbox