Alternatives and similar repositories for master_thesis_template

Users that are interested in master_thesis_template are comparing it to the libraries listed below

• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆14Updated 5 months ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 10 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆29Updated 4 years ago
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated last month
• mniip / discord-eval
  A discord frontend for an interactive interpreter bot
  ☆22Updated 2 years ago
• Naproche-SAD / Naproche-SAD
  ☆21Updated 4 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 5 months ago
• david-christiansen / itu-thesis
  A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations
  ☆20Updated 7 years ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆139Updated 2 years ago
• olaure01 / yalla
  Yet Another deep embedding of Linear Logic in Coq
  ☆16Updated 3 months ago
• zamdzhiev / Qimaera
  Idris libraries for hybrid classical-quantum programming
  ☆14Updated 2 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 2 months ago
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 7 years ago
• clash-lang / ghc-typelits-natnormalise
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated last week
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆54Updated 3 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated 9 months ago
• eschnett / mpi-hs
  MPI bindings for Haskell
  ☆16Updated 9 months ago
• AndrasKovacs / polynomial-model
  A polynomial model of a Martin-Löf type theory + a bit of game semantics
  ☆32Updated 3 years ago
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆11Updated last month
• frex-project / haskell-frex
  ☆23Updated last year
• jwshii / etna
  ☆11Updated 2 months ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆104Updated last year
• niccoloveltri / guarded-ccs-pi
  ☆9Updated last year
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• VictorCMiraldo / agda-rw
  This is the place where (more or less) stable releases of my RW library will be published.
  ☆16Updated 5 years ago
• discopy / discopy
  The Python toolkit for computing with string diagrams.
  ☆380Updated last month
• davidsd / hyperion
  A Haskell framework for running concurrent computations on an HPC cluster.
  ☆10Updated this week
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated last month