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