[go: up one dir, main page]
Skip to content
View drwadu's full-sized avatar
13 followers · 88 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Block or report drwadu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • fasb Public

    faceted answer set browser

    Rust 3 MIT License Updated Nov 1, 2024

  • savan Public

    answer set navigation library

    logic-programming answer-set-programming
    Rust 1 Updated Nov 1, 2024

  • web-fasb.github.io Public

    https://drwadu.github.io/web-fasb.github.io/

    JavaScript Updated Oct 28, 2024

  • nexas Public

    Forked from imldresden/nexas

    web-based visualization tool for navigation and exploration of argumentation solution spaces

    JavaScript GNU Lesser General Public License v2.1 Updated Oct 11, 2024

  • iascar Public

    answer set counter

    model-counting answer-set-counting
    Rust Updated Feb 21, 2024

  • simcjt Public

    condorcet jury theorem simulations

    Jupyter Notebook Updated Jan 15, 2024

  • four Public

    a prototypical solver for system FOUR

    Haskell MIT License Updated Jan 12, 2024

  • copperbench Public

    Forked from tlyphed/copperbench
    Python MIT License Updated Oct 14, 2023

  • is_lp_tight Public

    A simple tool to find out whether an answer set program is tight, or not.

    Python Updated Sep 29, 2023

  • clingo-rs Public

    Forked from potassco/clingo-rs

    🗝️ Rust bindings to the clingo library

    Rust MIT License Updated Sep 11, 2023

  • old_fasb Public

    Rust 1 Updated Jul 18, 2023

  • drwadu.github.io Public template

    Forked from alshedivat/al-folio

    A beautiful, simple, clean, and responsive Jekyll theme for academics

    HTML MIT License Updated Feb 12, 2023

  • lp2ucs Public

    Python GNU Lesser General Public License v2.1 Updated Dec 14, 2022

  • nnf2ccg Public

    Python GNU Lesser General Public License v2.1 Updated Nov 18, 2022

  • LNN Public

    Forked from IBM/LNN

    A `Neural = Symbolic` framework for sound and complete weighted real-value logic

    Python Apache License 2.0 Updated Aug 8, 2022

  • xclingo2 Public

    Forked from bramucas/xclingo2

    A tool for explainability and debugging in Answer Set Programming.

    Python MIT License Updated Jul 18, 2022

  • nnf2dot Public

    converts NNF or counting graph to graphviz input

    Haskell Updated Jun 22, 2022

  • asp2sat Public

    Forked from hmarkus/asp2sat

    treewidth-aware reduction from asp to sat

    Python GNU Lesser General Public License v2.1 Updated Feb 10, 2022

  • anthem Public

    Forked from potassco/anthem-1

    🎼 Translate answer set programs to first-order theorem prover language

    Rust MIT License Updated Nov 7, 2021

  • share2nightscout-bridge Public

    Forked from nightscout/share2nightscout-bridge

    azure sidecar, bridges Dexcom share2 to Nightscout

    JavaScript Updated Aug 28, 2020