prathyvsh / learning-topologyLinks
Resources for making sense of topology and its concepts
☆18Updated 4 years ago
Alternatives and similar repositories for learning-topology
Users that are interested in learning-topology are comparing it to the libraries listed below
Sorting:
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- ☆44Updated 2 years ago
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- Jupyter notebooks☆58Updated 8 months ago
- Effective Algebraic Topology in Haskell☆91Updated 11 months ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Toy implementation of Martin-Löf Type Theory☆30Updated 3 years ago
- A talk☆28Updated 4 years ago
- ☆36Updated last year
- A very little language☆16Updated 2 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Course on Metaprogramming☆72Updated 2 months ago
- Formalization of category theory in Agda☆17Updated 2 years ago
- Awesome Agda Programming☆18Updated 5 years ago
- A type theory with native support for Polynomial Functors.☆39Updated last year
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 4 years ago
- An experimental category theory library for Lean☆51Updated last year
- A categorical semantics library in Agda.☆17Updated 5 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- ☆44Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year