sthiele
PhD in informatics, interested in nature, technology, formal systems, the history of science.
Potassco SolutionsEarth, Solar System
Pinned Repositories
exdesi
Design experiments to differentiate interaction graph models
iggy
:arrow_upper_right: Influence graph analysis, consistency check, diagnosis, repair and prediction
meneco
:m: Metabolic network completion
CNApy
An integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!
clingo-rs
🗝️ Rust bindings to the clingo library
flatzinc
🫓 A parser for the FlatZinc modelling language
aspif-parser
aspif parser
clingo
A grounder and solver for logic programs.
pyasp
A convenience wrapper for the ASP tools gringo, gringo4 and clasp
sthiele.github.io
personal weblog
sthiele's Repositories
sthiele/pyasp
A convenience wrapper for the ASP tools gringo, gringo4 and clasp
sthiele/sthiele.github.io
personal weblog
sthiele/aspif-parser
aspif parser
sthiele/clingo
A grounder and solver for logic programs.
sthiele/fluto
sthiele/mrn-canvas
An item canvas using relm
sthiele/myconfigs
sthiele/predator
sthiele/python-project-template
📄 Template for python based projects.
sthiele/SCM-collection
Collection of posts related to: Reasoning over the transitional behavior of dynamic systems using sign consistency constraints
sthiele/sgf-navigator
navigate SGF files for Go
sthiele/test
sthiele/versuch
sthiele/yewexample
A wasm frontend with yew