Pinned Repositories
BLEConnect
Enable your BLE device to show komoot navigation instructions for cycling, running and outdoor routes
BukkitPiano
Play the piano in Minecraft, with any MIDI controller!
DuckMode
DuckGame in Minecraft.
LatentSDE.jl
paternoster
A 2D programming language with arrows.
PlutoArgs.jl
Configure stuff with PlutoUI and CLI
poem-printer
Repo for all poem printer files
rwth-unichat
chat app for rwth
SORCEway
Beste Seite mit wichtigen Inhalten.
unichat-js
unichat js client
linusheck's Repositories
linusheck/PlutoArgs.jl
Configure stuff with PlutoUI and CLI
linusheck/BLEConnect
Enable your BLE device to show komoot navigation instructions for cycling, running and outdoor routes
linusheck/LatentSDE.jl
linusheck/rwth-unichat
chat app for rwth
linusheck/bigsteptest
linusheck/carl-storm
The Computer ARithmetic and Logic library for the Storm model checker
linusheck/ConditionalDists.jl
Conditional probability distributions powered by DistributionsAD.jl
linusheck/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)
linusheck/diffrax
Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/
linusheck/donrec-fix
linusheck/gd-benchmark
linusheck/grammarly
Grammarly for VS Code
linusheck/IPMeasures.jl
Implementation of Integral Probability Measures in Julia
linusheck/manim-presentation
Tool for live presentations using manim
linusheck/multistablearima
linusheck/multistablesde
linusheck/NeuralSDEExploration
linusheck/noise-estimation
linusheck/one-click-hugo-cms
linusheck/openhaystack
Build your own 'AirTags' 🏷 today! Framework for tracking personal Bluetooth devices via Apple's massive Find My network.
linusheck/poemspublic
The poem printer backend
linusheck/probably
Python library for parsing, type-checking, and analyzing probabilistic programs written in the pGCL language.
linusheck/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.
linusheck/storm
A Modern Probabilistic Model Checker
linusheck/stormpy
Python Bindings for the Probabilistic Model Checker Storm
linusheck/synthesis
linusheck/tacas21-artifact
linusheck/torchsde
Differentiable SDE solvers with GPU support and efficient sensitivity analysis.
linusheck/ttbook
linusheck/z3
The Z3 Theorem Prover