Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions

Virtual whiteboard for sketching hand-drawn like diagrams

The Julia Security Advisory Database

A GPU-Accelerated First-Order LP Solver

DPLL(T)-based Verification tool for DNNs

LaTeX package for typesetting pseudocode.

Prometheus client for Julia

Take potentially dangerous PDFs, office documents, or images and convert them to safe PDFs

Robust Counterfactual Inference in MDPs

NN Verification using samples

Manifolds.jl provides a library of manifolds aiming for an easy-to-use and fast implementation.

LieGroups.jl – Lie groups and Lie algebras

Convert ONNX models to PyTorch.

A Julia/JuMP-based Global Optimization Solver for Non-convex Programs

Bayesian Networks for Julia

Implementation of a language-level autograd compiler

Julia interface to Z3

A Python library to extract tabular data from PDFs

Customized onnx2pytorch package for alpha-beta-CROWN verifier. Original version at https://github.com/Talmaj/onnx2pytorch

Heterogeneous programming in Julia

An experimental code analyzer for Julia. No need for additional type annotations.

Package for parsing command-line arguments to Julia programs.

forward and reverse mode automatic differentiation primitives for Julia Base + StdLibs

Julia bindings for the FLINT number theory C library

Exact real arithmetic using Dedekind cuts

Fast inference for Gaussian processes in problems involving time. Partly built on results from https://proceedings.mlr.press/v161/tebbutt21a.html

The Book of Statistical Proofs