Linus's repositories
storm
A Modern Probabilistic Model Checker
stormpy
Python Bindings for the Probabilistic Model Checker Storm
carl-storm
The Computer ARithmetic and Logic library for the Storm model checker
grammarly
Grammarly for VS Code
SciMLSensitivity.jl
A component of the DiffEq ecosystem for enabling sensitivity analysis for scientific machine learning (SciML). Optimize-then-discretize, discretize-then-optimize, adjoint methods, and more for ODEs, SDEs, DDEs, DAEs, etc.
probably
Python library for parsing, type-checking, and analyzing probabilistic programs written in the pGCL language.
torchsde
Differentiable SDE solvers with GPU support and efficient sensitivity analysis.
diffrax
Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/
DiffEqNoiseProcess.jl
A library of noise processes for stochastic systems like stochastic differential equations (SDEs) and other systems that are present in scientific machine learning (SciML)
PlutoArgs.jl
Configure stuff with PlutoUI and CLI
poemspublic
The poem printer backend
ConditionalDists.jl
Conditional probability distributions powered by DistributionsAD.jl
IPMeasures.jl
Implementation of Integral Probability Measures in Julia
BLEConnect
Enable your BLE device to show komoot navigation instructions for cycling, running and outdoor routes
manim-presentation
Tool for live presentations using manim
openhaystack
Build your own 'AirTags' 🏷 today! Framework for tracking personal Bluetooth devices via Apple's massive Find My network.
rwth-unichat
chat app for rwth