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
- ☆44Updated 2 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 5 months ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- A categorical semantics library in Agda.☆17Updated 5 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- A very little language☆16Updated 2 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A string diagram generator for LaTeX.☆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
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Monads for Racket (!)☆21Updated 10 years ago
- Course on Metaprogramming☆72Updated last month
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 6 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 4 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Toy implementation of Martin-Löf Type Theory☆30Updated 2 years ago
- ☆44Updated 2 years ago
- Jupyter notebooks☆58Updated 8 months ago
- A type theory with native support for Polynomial Functors.☆39Updated last year
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Anders: Cubical Type Checker☆23Updated last year
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- ☆17Updated 2 years ago