mortberg / AlgTopLinks
Haskell library of algebraic topology
☆24Updated 13 years ago
Alternatives and similar repositories for AlgTop
Users that are interested in AlgTop are comparing it to the libraries listed below
Sorting:
- Clifford algebra for Haskell! :D☆15Updated 11 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- Agda-style equational reasoning in Haskell