published Published 10 months ago
InvertibleNetworks.jl: A Julia package for scalable normalizing flows
Julia
published Published 10 months ago
mathlib: A Scala package for readable, verifiable and sustainable simulations of formal theory
published Published 10 months ago
rgfrosh: A Python package for calculating shock conditions using real gas equations of state
Python
published Published about 1 year ago
LINFA: a Python library for variational inference with normalizing flow and annealing
Python
published Published about 1 year ago
Surjectors: surjection layers for density estimation with normalizing flows
Python
published Published over 1 year ago
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Python
published Published about 2 years ago