Giters
Tobias Jeske (tjeske)

tjeske

Geek Repo

1

followers

0

following

4

stars

Company:itemis AG @itemis

Github PK Tool:Github PK Tool

Organizations
energy-forecast

Tobias Jeske's starred repositories

j4rs

Java for Rust

Language:RustLicense:Apache-2.0Stargazers:526Issues:7Issues:96

os

Tiny Linux distro that runs the entire OS as Docker containers

Language:GoLicense:Apache-2.0Stargazers:204Issues:9Issues:116

containerflight

containerflight - run applications in a defined and isolated environment

Language:GoLicense:Apache-2.0Stargazers:4Issues:2Issues:0

smtx

My first SMT solver (only QF_UF)

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:2Issues:0