danehuang / augurv2Links
☆11Updated 7 years ago
Alternatives and similar repositories for augurv2
Users that are interested in augurv2 are comparing it to the libraries listed below
Sorting:
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 7 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 4 months ago
- Encoding of GHC Core inside MLIR