Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

Python216apache-2.0

2 years ago

Optimal Transport tools implemented with the JAX framework, to get auto-diff, pa

Python415apache-2.0

5 months ago

automatic-differentiationgromov-wassersteinjax

The Ott tool for writing definitions of programming languages and calculi

OCaml315other

12 months ago

Tool for generating Locally Nameless definitions and proofs in Coq, working toge

Haskell29mit

7 months ago

OTT Video Platform for Roku, Apple, Android, Fire TV, XBOX, and more

JavaScript7other

5 years ago