exaexa / better-mff-thesisLinks
A slightly improved variant of the official thesis sample
☆31Updated 2 weeks 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:
- Accelerated machine learning with dependent types☆98Updated last month
- The agda-unimath library☆267Updated last week
- Scientific computing in Lean 4☆425Updated 3 months ago
- Play/learn/work with me☆110Updated last week
- agda-mode for neovim☆165Updated last month
- CoDi: Commutative Diagrams for TeX☆31Updated 2 months ago
- An interactive theorem prover for string diagrams☆120Updated 10 months ago
- Benchmarks for differentiable programming across languages and domains.☆47Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆120Updated last year
- Data Parallel Programming☆22Updated last year
- Advent of Code complete solution archive and common library☆46Updated 8 months ago
- HoTTEST Summer School materials☆311Updated 3 months ago
- Purely-functional, coordinate-free linear algebra☆29Updated 3 months ago
- ☆118Updated last year
- Competitive programming utilities in Haskell☆39Updated 8 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆40Updated this week
- Agda as a collaborative multiplayer game☆38Updated 11 months ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 2 weeks ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆262Updated this week
- Agda interaction in vim☆135Updated 3 years ago
- A formal proof of the independence of the continuum hypothesis☆133Updated last year