Popular repositories Loading

1. qgss-2025 qgss-2025 Public archive

   My solutions for the Qiskit Global Summer School 2025 labs. The official lab notebooks and materials can be found at: https://github.com/qiskit-community/qgss-2025

   Jupyter Notebook

2. interactive-theorem-proving-2026 interactive-theorem-proving-2026 Public

   Forked from blanchette/interactive_theorem_proving_2026

   Files associated with the course Interactive Theorem Proving at LMU SoSe 2026

   Lean

3. streampipes streampipes Public

   Forked from apache/streampipes

   Apache StreamPipes - A self-service (Industrial) IoT toolbox to enable non-technical users to connect, analyze and explore IoT data streams.

   Java