exaexa / better-mff-thesis
A slightly improved variant of the official thesis sample
☆28Updated 8 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☆84Updated 3 weeks ago
- ☆9Updated last year
- A Docker 🐳 container with CUNI.CZ PDF/A validation profile☆12Updated 6 months ago
- HoTTEST Summer School materials☆295Updated last year
- Purely-functional, coordinate-free linear algebra☆28Updated 5 months ago
- Categorical Logic Notes☆74Updated 2 years ago
- Embedding Pointful Array Programming in Python☆14Updated 4 months ago
- Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…☆24Updated last month
- Accelerated machine learning with dependent types☆84Updated this week
- Data Parallel Programming☆22Updated last year
- The agda-unimath library☆232Updated this week
- Fast equality saturation in Haskell☆79Updated 8 months ago
- An interactive theorem prover for string diagrams☆109Updated 3 months ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- Statically linked distributions of GHC for building binaries in Docker.☆11Updated 5 months ago
- Advent of Code complete solution archive and common library☆43Updated 3 weeks ago
- 🎅🌟❄️☃️🎄🎁☆99Updated 2 months ago
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆123Updated last week
- agda-mode for neovim☆137Updated 2 weeks ago
- Public repository for HPPS 2022☆21Updated 2 years ago
- Do notation in Python.☆8Updated 3 years ago
- A graphical editor for graph-like structures☆98Updated last year
- A collection of tools for writing technical documents that mix Coq code and prose.☆247Updated 2 months ago
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆40Updated 9 years ago
- Play/learn/work with me☆94Updated 5 months ago
- Code challenges to solve with Haskell☆120Updated 2 years ago
- A Haskell probabilistic programming library.☆18Updated 3 weeks ago
- Competitive programming utilities in Haskell☆30Updated 3 weeks ago
- High performance, regular, shape polymorphic parallel arrays.☆139Updated 2 weeks ago
- Tool for developing tasks for programming competitions.☆16Updated this week