kajoel / master_thesis_templateLinks
Template for master's thesis at Chalmers.Based on the template by Magnus Gustaver which in turn is based on the template by David Frisk..
☆9Updated 3 years ago
Alternatives and similar repositories for master_thesis_template
Users that are interested in master_thesis_template are comparing it to the libraries listed below
Sorting:
- Course materials for Chalmers TPIL25 class☆14Updated 5 months ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- Formalized quantum computing in Lean theorem prover☆30Updated 4 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆118Updated last year
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆23Updated 10 months ago
- Knot Theory library focusing on k-tangles☆15Updated 3 years ago
- A discord frontend for an interactive interpreter bot☆22Updated this week
- Purely-functional, coordinate-free linear algebra☆28Updated 2 months ago
- The agda-unimath library☆261Updated this week
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Competitive programming utilities in Haskell☆38Updated 7 months ago
- A simple Nix-Haskell skeleton☆113Updated last month
- Hakyll + Nix starter template☆59Updated 9 months ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Nix configuration for reproducible builds of LaTeX documents☆25Updated 4 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- Setting up a Haskell development environment with Nix☆20Updated 4 years ago
- Checker for "morally correct" induction proofs about haskell programs☆9Updated 3 years ago
- amateur translation project of Grothendieck's EGA.☆354Updated 9 months ago
- Tool for developing tasks for programming competitions.☆18Updated this week
- ☆20Updated 3 years ago
- "Not only does God play dice but... he sometimes throws them where they cannot be seen." ― Stephen Hawking☆50Updated 5 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆156Updated last month
- ☆33Updated 2 months ago
- HoTTEST Summer School materials☆309Updated 2 months ago
- A topological data analysis library for Haskell☆29Updated 4 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆301Updated last year
- Folien und Übungsaufgaben für unsere Vorlesung☆26Updated 8 years ago
- Agda as a collaborative multiplayer game☆37Updated 9 months ago