susuhahnml

susuhahnml's Stars

• magjac/d3-graphviz

  Graphviz DOT rendering and animated transitions using D3

  Language:JavaScript1.7k34186104

• mountainstorm/jquery.graphviz.svg

  jquery plugin to make graphviz svg charts responsive

  Language:JavaScript192161667

• potassco/clingraph

  🕸️ A visualizer for graphs defined as logic programs

  Language:Python297507

• whitemech/lydia

  A tool for LDLf translation to DFA and for LDLf synthesis.

  Language:C++234297

• whitemech/flloat

  From LTLf/LDLf To Automata

  Language:Python22384

• bramucas/xclingo2

  A tool for explainability and debugging in Answer Set Programming.

  Language:Python132145

• guntherwullaert/asp-language-server

  A language server protocol for ASP

  Language:Rust10221

• bramucas/xclingo

  Explains the conclusions of a logic program.

  Language:Python9401

• potassco/python-clingox

  🧰 Library with auxilary functions to use along with the clingo module.

  Language:Python74112

• siemens/OOASP

  Language:Python75170

• potassco/python-project-template

  📄 Template for python based projects.

  Language:Python66165

• thesofakillers/iclingo

  🔴🟢🔵 clingo kernel for Jupyter

  Language:Python6261

• alviano/asp-chef-alpha

  A simple, intuitive web app for analysing answer sets without having to deal with complex tools or programming languages.

  Language:Svelte5200

• potassco/configuration-encoding

  🧩 An encoding for solving configuration problems with ASP

  Language:Python55100

• yovasx2/placon.biz

  The source code of an architect consultant web page

  Language:CSS4100

• hweichelt/bachelor_thesis

  A repo for my bachelor thesis

  Language:Jupyter Notebook3300

• dodaro/pyspel

  Language:Python21

• krr-up/benchmark-tool-guide

  Guide to the Potassco benchmark tool

  Language:Shell2321

• owrel/clindoc

  Documentation framework for ASP, from user to contributor

  Language:Python2301

• BerndtUhlig/ClingGraphViz

  Language:Python1

• hweichelt/unsatcore-explain-experiments

  Language:Python1200

• nrueh/plingo

  Language:Python12110

• runtime-monitoring/explanator2

  Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.

  Language:Isabelle1510