Real-Time Event Frameworks based on active objects & state machines
Jupyter kernel for Coq
R kernel for Jupyter
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
Free cooperative operating system designed for microcontrollers
Free real-time operating system designed for microcontrollers
A simple, easy-to-use, flatpak centric Linux distribution for everyone