exaexa / better-mff-thesisLinks
A slightly improved variant of the official thesis sample
☆31Updated 3 months ago
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:
- Benchmarks for differentiable programming across languages and domains.☆49Updated last month
- CoDi: Commutative Diagrams for TeX☆31Updated 5 months ago
- Accelerated machine learning with dependent types☆101Updated 4 months ago
- An interactive theorem prover for string diagrams☆124Updated last year
- Purely-functional, coordinate-free linear algebra☆30Updated 6 months ago
- The agda-unimath library☆278Updated this week
- Data Parallel Programming☆22Updated last year
- Play/learn/work with me☆113Updated 3 weeks ago
- agda-mode for neovim☆172Updated last month
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- Effective Algebraic Topology in Haskell☆90Updated last year
- A Haskell probabilistic programming library.☆21Updated 2 weeks ago
- HoTTEST Summer School materials☆319Updated 6 months ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 3 months ago
- A graphical editor for graph-like structures☆101Updated 2 years ago
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆392Updated 3 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- A framework for applied category theory in the Julia language☆686Updated last week
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 4 years ago
- ☆125Updated last year
- amateur translation project of Grothendieck's EGA.☆370Updated 2 months ago
- #SharingIsCaring #CaringIsSharing☆88Updated 11 months ago
- Scientific computing in Lean 4☆442Updated 6 months ago
- Competitive programming utilities in Haskell☆41Updated last week
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 7 months ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago
- Mathlib search tool☆115Updated 2 weeks ago
- Agda as a collaborative multiplayer game☆37Updated last year
- List of Treewidth solvers, instances, and tools☆36Updated 3 years ago
- Advent of Code complete solution archive and common library☆47Updated 2 weeks ago