GitHub topics: parameterized-systems
gd-vae/gd-vae
Geometric Dynamic Variational Autoencoders (GD-VAEs) for learning embedding maps for nonlinear dynamics into general latent spaces. This includes methods for standard latent spaces or manifold latent spaces with specified geometry and topology. The manifold latent spaces can be based on analytic expressions or general point cloud representations.
Language: TeX - Size: 29.7 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 29 - Forks: 1
cubicle-model-checker/cubicle
The Cubicle model checker
Language: OCaml - Size: 57.4 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 13 - Forks: 8
Cobord/Azimuth-Applied-Category-Theory
For Azimuth ACT course
Language: Haskell - Size: 25.9 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 0
