Zinoex

bound_propagation

Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.

hyperverlet

IntervalMDP.jl

GPU-accelerated value iteration for Interval Markov Decision Processes

bayne

ipe_utils

My homemade ipe utils including colors, preambles, and ipelets, and guides including functional plotting, pages, and slidehows in ipe

elixlsx

An Elixir XLSX writer

JordanForm.jl

An _educational_ implementation for computing the Jordan form and its transformation matrix.

manim-control

Spatial.jl

Easy to use spatial indexing in Julia

LazySets.jl

Scalable Symbolic-Numeric Set Computations

MultivariateBases.jl

Standardized API for multivariate polynomial bases based on the MultivariatePolynomials.jl API.

pycom-libraries

MicroPython libraries and examples that work out of the box on Pycom's IoT modules

CUDA.jl

CUDA programming in Julia.

IntervalMDP.jl_ReproducibilityPackage

Reproducibility package for the paper Mathiesen, Frederik Baymler, Morteza Lahijanian, and Luca Laurenti. "IntervalMDP. jl: Accelerated Value Iteration for Interval Markov Decision Processes." arXiv preprint arXiv:2401.04068 (2024).

siren

Safe, Intelligent, Reliable, and Efficient traffic light Networks

sismic

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.org/

SumOfSquares.jl

Sum of Squares Programming for Julia

tlos

Traffic Light Open Specification

zinoex.github.io

A beautiful, simple, clean, and responsive Jekyll theme for academics