published Published about 2 months ago
VowSpace: A vowel formant analysis application for phonetic research
Python
published Published 5 months ago
Spectralmatch: relative radiometric normalization toolkit for raster mosaics and time series
Python
published Published 9 months ago
Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
TypeScript OpenQASM
published Published almost 2 years ago
Satisfiability.jl: Satisfiability Modulo Theories in Julia
Julia
published Published almost 2 years ago
InvertibleNetworks.jl: A Julia package for scalable normalizing flows
Julia
published Published almost 2 years ago
mathlib: A Scala package for readable, verifiable and sustainable simulations of formal theory
published Published almost 2 years ago
rgfrosh: A Python package for calculating shock conditions using real gas equations of state
Python
published Published about 2 years ago
LINFA: a Python library for variational inference with normalizing flow and annealing
Python
published Published over 2 years ago

