Stars
Curated repository of awesome Digital Twin resources
A list of free applications, libraries and datasets concerning the development of automated driving functions with focus on ASAM OpenX standards
The latest incremental release of SysML v2. Start here.
LaTeX Thesis and Technical Report Template for Johannes Kepler University Linz
LaTeX Beamer Theme for Johannes Kepler University Linz
Satellite/Aerial Image Retrieval: using Bing maps tile system to automatically download aerial imagery (maximum resolution available) given a latitude, longitude bounding box.
Venv in Parent IPykernel - an ipython kernel for Jupyter that runs out the closest venv
A curated list of awesome applications, softwares, tools and shiny things for macOS.
🔧 .files, including ~/.macos — sensible hacker defaults for macOS
A curated list of awesome Jupyter projects, libraries and resources
Getting started tutorials and cheat sheets for various technologies used in our projects.
🤖 Python examples of popular machine learning algorithms with interactive Jupyter demos and math being explained
pySMT: A library for SMT formulae manipulation and solving
A Python model checking package
visJS2jupyter is a tool to bring the interactivity of networks created with vis.js into jupyter notebook cells
Cours de Bachelor : Outils Formels de Modélisation
JupyterLab computational environment.
Yet Another Reactive(-ish) Programming library for Python
A framework for transparent reactive programming in python
A modular active learning framework for Python
A Prolog-like language as a Swift Embedded Domain Specific Language.
Collaborative cheatsheets for console commands 📚.
A web interface for the RPi Cam