ott
Optimal transport tools implemented with the JAX framework, to get differentiabl
Python527apache-2.0
2 days ago
automatic-differentiationgromov-wassersteinjax
ott
The Ott tool for writing definitions of programming languages and calculi
OCaml331other
4 months ago
lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working toge
Haskell29mit
8 months ago
ott
Optimal transport tools implemented with the JAX framework, to get differentiabl
Python527apache-2.0
2 days ago
automatic-differentiationgromov-wassersteinjax
ott
The Ott tool for writing definitions of programming languages and calculi
OCaml331other
4 months ago
lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working toge
Haskell29mit
8 months ago