Giters
Sebastian Ott (ottseb)

ottseb

Geek Repo

4

followers

0

following

4

stars

Github PK Tool:Github PK Tool

Organizations
sosy-lab

Sebastian Ott's starred repositories

java-smt

JavaSMT - Unified Java API for SMT solvers.

Language:JavaLicense:Apache-2.0Stargazers:178Issues:0Issues:0

ultimate

The Ultimate program analysis framework.

Language:JavaStargazers:191Issues:0Issues:0

ForkHub

GitHub client for Android based on the abandoned official app

Language:JavaScriptLicense:Apache-2.0Stargazers:2784Issues:0Issues:0

java-common-lib

SoSy-Lab Java Common Library

Language:JavaLicense:Apache-2.0Stargazers:12Issues:0Issues:0