exaexa / better-mff-thesis
A slightly improved variant of the official thesis sample
☆28Updated 11 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
- #SharingIsCaring #CaringIsSharing☆85Updated 3 months ago
- ☆9Updated last year
- A Docker 🐳 container with CUNI.CZ PDF/A validation profile☆13Updated 9 months ago
- Tool for developing tasks for programming competitions.☆16Updated this week
- Purely-functional, coordinate-free linear algebra☆28Updated 3 weeks ago
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆40Updated 9 years ago
- HoTTEST Summer School materials☆297Updated last year
- Texty ke statnicim☆15Updated 7 years ago
- Library for proving propositions quantified over finite sets☆14Updated 2 years ago
- How I start Haskell.☆100Updated 6 months ago
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆40Updated 3 months ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- ☆100Updated last month
- Fast parsing from bytestrings☆157Updated 2 weeks ago
- Fast equality saturation in Haskell☆84Updated 2 months ago
- agda-mode for neovim☆152Updated 3 weeks ago
- Play/learn/work with me☆102Updated 8 months ago
- Accelerated machine learning with dependent types☆93Updated this week
- Tutorial on monad transformers☆60Updated 3 years ago
- An interactive theorem prover for string diagrams☆113Updated 6 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆253Updated this week
- Benchmark of the main linear algebra libraries in Haskell☆24Updated 5 years ago
- ☆10Updated last month
- Do notation in Python.☆8Updated 4 years ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- Analytic sampler compiler for combinatorial systems☆30Updated 2 years ago
- Code challenges to solve with Haskell☆139Updated this week
- Browse Hackage from the terminal☆96Updated 4 months ago
- Advent of Code 2020 Haskell Solutions☆16Updated 4 years ago