krooken's Stars
mltframework/shotcut
cross-platform (Qt), open-source (GPLv3) video editor
gitextensions/gitextensions
Git Extensions is a standalone UI tool for managing git repositories. It also integrates with Windows Explorer and Microsoft Visual Studio (2015/2017/2019).
bbc/bbplot
R package that helps create and export ggplot2 charts in the style used by the BBC News data team
florianschanda/miss_hit
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
tulip-control/tulip-control
Temporal Logic Planning toolbox
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
bbucior/drposter
Generate Academic Posters in R Markdown and CSS, inspired by 'reveal.js'
tulip-control/polytope
Geometric operations on polytopes of any dimension
decyphir/breach
Micket/chalmers
Styles for LaTeX, beamer for Chalmers University of Technology
mgreiff/crazyflie-project
Simulation of and implementation of various methods of control for the crazyflie quadcopter
srcostenoble/simplex
Linear programming problem solver, also does integer and mixed programming.
E2-PhD-Council/ThesisTemplate
Thesis template(s) for Chalmers E2 PhD students
wasp-sweden/wara-sw
WASP Research Arena for Software
pens/eigenfish
Python package for automated fish detection and labeling.
alexvoronov/chalmers-thesis
Thesis template for PhD/Lic thesis at Chalmers
phenotips/grappa
Fork of the AT&T Grappa project, a port of a subset of GraphViz to Java
martisak/drposter
Generate Academic Posters in R Markdown and CSS, inspired by 'reveal.js'
chalmers-revere/2018-wasp-summer-school
Repository with supplementary material for the 2018 WASP Summer School
levilucio/EARS-CTRL
expressing and analysing controllers as EARS requirements
Chalmers-Control-Automation-Mechatronics/AutonomousTwizy
Floern/xkcd-browser
xkcd Browser for Android
ffhreijnen/AlgeraComplex
CIF models and documentation for the Algera complex
arw12625/tulip-control
Temporal Logic Planning toolbox
hannese/WASP-AS2-M2A3
Furryhat
JohanEddeland/matlab_decision_procedures
Implementations of different decision procedures in MATLAB
Kurinkitos/Twizy-Security
mgreiff/wasp-kiwi
Containers developed for the KIWI 2.0 car platform during WASP summer school of 2018
Xaldew/2018-wasp-summer-school
Repository with supplementary material for the 2018 WASP Summer School
yuvrajselvam/model-pitfalls-dL