-
IntervalMDP.jl Public
GPU-accelerated value iteration for Interval Markov Decision Processes
-
CUDA.jl Public
Forked from JuliaGPU/CUDA.jlCUDA programming in Julia.
Julia Other UpdatedOct 9, 2025 -
ipe_utils Public
My homemade ipe utils including colors, preambles, and ipelets, and guides including functional plotting, pages, and slidehows in ipe
-
-
IntervalMDPAbstractions.jl Public
Abstraction of stochastic systems to IMDPs and odIMDPs
-
-
bound_propagation Public
Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.
-
neural-abstractions-nips22 Public
Forked from aleccedwards/neural-abstractions-nips22Python Other UpdatedMay 19, 2025 -
LazySets.jl Public
Forked from JuliaReach/LazySets.jlScalable Symbolic-Numeric Set Computations
Julia Other UpdatedApr 17, 2025 -
DynAbs Public
Forked from LAVA-LAB/DynAbsController synthesis for uncertain dynamical systems via formal abstractions
Python UpdatedFeb 18, 2025 -
SciMLDocs Public
Forked from SciML/SciMLDocsGlobal documentation for the Julia SciML Scientific Machine Learning Organization
Julia MIT License UpdatedNov 29, 2024 -
DCSC-SciML-Tutorial Public
Code to accompany presentation at DCSC SciML Tutorial 22/11/2024
Julia MIT License UpdatedNov 22, 2024 -
Formal-Deep-Kernel-Synthesis Public
Forked from aria-systems-group/Formal-Deep-Kernel-SynthesisPython UpdatedNov 2, 2024 -
JordanForm.jl Public
An _educational_ implementation for computing the Jordan form and its transformation matrix.
-
zinoex.github.io Public
Forked from alshedivat/al-folioA beautiful, simple, clean, and responsive Jekyll theme for academics
HTML MIT License UpdatedOct 9, 2023 -
-
Spatial.jl Public
Easy to use spatial indexing in Julia
-
-
-
-
siren Public
Safe, Intelligent, Reliable, and Efficient traffic light Networks
Python GNU General Public License v3.0 UpdatedApr 6, 2021 -
pycom-libraries Public
Forked from pycom/pycom-librariesMicroPython libraries and examples that work out of the box on Pycom's IoT modules
Python UpdatedJul 14, 2018
{{ message }}