exaexa / better-mff-thesisLinks
A slightly improved variant of the official thesis sample
☆31Updated last month
Alternatives and similar repositories for better-mff-thesis
Users that are interested in better-mff-thesis are comparing it to the libraries listed below
Sorting:
- CoDi: Commutative Diagrams for TeX☆31Updated 3 months ago
- Benchmarks for differentiable programming across languages and domains.☆47Updated last week
- Accelerated machine learning with dependent types☆101Updated 2 months ago
- An interactive theorem prover for string diagrams☆121Updated last year
- agda-mode for neovim☆168Updated last week
- The agda-unimath library☆273Updated this week
- Purely-functional, coordinate-free linear algebra☆30Updated 5 months ago
- amateur translation project of Grothendieck's EGA.☆366Updated 2 weeks ago
- Data Parallel Programming☆22Updated last year
- ☆119Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆123Updated last year
- HoTTEST Summer School materials☆314Updated 5 months ago
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆126Updated last week
- Lecture notes from Cambridge maths☆71Updated last year
- The collected works of F. W. Lawvere☆365Updated last year
- Lecture notes for the Type Systems course given in Autumn 2023☆13Updated last year
- Automatic Differentiation☆386Updated 8 months ago
- Library for proving propositions quantified over finite sets☆14Updated 3 years ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.☆430Updated last week
- Competitive programming utilities in Haskell☆39Updated last month
- Fast parsing from bytestrings☆170Updated 3 weeks ago
- Code challenges to solve with Haskell☆178Updated last month
- A framework for applied category theory in the Julia language☆680Updated this week
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆42Updated 9 months ago
- A graphical editor for graph-like structures☆102Updated last year
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆249Updated 2 months ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 5 months ago
- Categorical Logic Notes☆80Updated 3 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Updated 3 years ago