sthiele

Sven Thiele's repositories

A convenience wrapper for the ASP tools gringo, gringo4 and clasp

Language:PythonGPL-3.08 1 8

personal weblog

Language:HTML1 10

aspif parser

Language:RustMIT01 2

A grounder and solver for logic programs.

Language:C++MIT010

Language:PythonGPL-3.0000

An item canvas using relm

Language:Rust010

Language:Shell010

Language:PythonGPL-3.0000

📄 Template for python based projects.

MIT000

Collection of posts related to: Reasoning over the transitional behavior of dynamic systems using sign consistency constraints

Language:TeX010

navigate SGF files for Go

Language:Rust010

Language:C000

Language:RustMIT010

A wasm frontend with yew

Language:Rust020