Library for computer-assisted proofs in dynamical systems

Julia Package for transport maps

A tool for converting specific Julia GPU code writen in CUDA.jl, into abstract multi-backend code with KernelAbstractions.jl.

Prototype of doing RAG over code documentation using Ollama and Langchain

Rigorous computing for uncertainty analysis with uncertain numbers in Python

This repository contains a collection of surveys, datasets, papers, and codes, for predictive uncertainty estimation in deep learning models.

Open-source framework for uncertainty and deep learning models in PyTorch 🌱

pde verification toolbox

🕸️ input/output for many mesh formats

A repository for adaptive transport maps

Dempster-Shafer Zonotopic Probability Bounds Analysis of Neural Networks in Julia

Robust INner and Outer approximated reachability analysis

SANDY + OpenMC + UncertaintyQuantification.jl

Macro(s) for vectorizing loops.

Heterogeneous programming in Julia

Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint programming over real numbers, trajectories and sets. It has numer…

Visualizer for Intervals and BoxES

Distributed High-Performance Symbolic Regression in Julia

Intervals coupled with algebra of set to handle adaptive mesh refinement and operators on it.

Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/

FUsion Synthesis Engine

Documentation with Documenter.jl and VitePress

A modern, mobile-friendly drafting tool for Sid Meier's Civilization VI.

Serving JS to the browser

Multi-dimensional interval boxes

Julia debugger

Readily pin Julia threads to CPU-threads

IPU programming in Julia