krooken Goto Github PK

adventofcode2020

aeronauticalengineering

apartment

bodeplot

comparativecasestudies

Comparative Case Studies of Reactive Synthesis and Supervisory Control

cudd

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

decide

Launch Interceptor Program (exercise in software engineering)

edxvideoviewer

Android app that lists the users courses and allows access to them via the youtube app.

equalitytheory

Testing different ways to add a theory (in this case equality theory) to a CDCL SAT-solver.

espresso-logic

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

grappa

Fork of the AT&T Grappa project, a port of a subset of GraphViz to Java

jkalc

krooken.github.io

lindomesdk

marie_curie

markov_text_generator

polytope

Geometric operations on polytopes of any dimension

raytracer

rcv-synthesis

Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle

research-blog

This repo holds the code that host the zenseact research blog.

sensorstreamer

Python sensor data receiver from the Sensor fusion app

spark_linalg_eval

tagimages

Scans through a catalog of images and presents a GUI to tag all images.

thesistemplate

Thesis template(s) for Chalmers E2 PhD students

tool_lists

Links to tools by subject

tulip-control

Temporal Logic Planning toolbox

wasp-des-rcv

Complimentary PROMELA and Stateflow models for the article named 'Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle' by Jonas Krook, Lars Svensson, Yuchao Li, Lei Feng, and Martin Fabian.