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 2 months ago
- Benchmarks for differentiable programming across languages and domains.☆47Updated this week
- #SharingIsCaring #CaringIsSharing☆86Updated 9 months ago
- Accelerated machine learning with dependent types☆100Updated 2 months ago
- An interactive theorem prover for string diagrams☆121Updated 11 months ago
- agda-mode for neovim☆167Updated 3 weeks ago
- The collected works of F. W. Lawvere☆364Updated last year
- Scientific computing in Lean 4☆429Updated 4 months ago
- The agda-unimath library☆269Updated this week
- ☆119Updated last year
- Play/learn/work with me☆109Updated last month
- A framework for applied category theory in the Julia language☆676Updated last week
- Effective Algebraic Topology in Haskell☆90Updated last year
- amateur translation project of Grothendieck's EGA.☆363Updated last week
- HoTTEST Summer School materials☆312Updated 4 months ago
- Lecture notes for the Type Systems course given in Autumn 2023☆13Updated last year
- A graphical editor for graph-like structures☆100Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆122Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆87Updated 4 months ago
- Lean Library currently studying for a degree at Imperial College☆228Updated 8 months ago
- Data Parallel Programming☆22Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- A library for probabilistic programming in Haskell.☆440Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆308Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆391Updated this week
- Purely-functional, coordinate-free linear algebra☆30Updated 4 months ago
- Categorical Logic Notes☆80Updated 3 years ago
- Automatic Differentiation☆385Updated 7 months ago
- 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 this week