ekmett / badLinks
a playground for working with fully static tensors and automatic differentiation
☆17Updated 4 years ago
Alternatives and similar repositories for bad
Users that are interested in bad are comparing it to the libraries listed below
Sorting:
- Congruence Closure Procedure in Cubical Agda☆17Updated 4 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Updated 3 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- ☆21Updated 3 years ago