Alternatives and similar repositories for master-thesis-template

Users that are interested in master-thesis-template are comparing it to the libraries listed below

• SERG-Delft / thesis-template
  The official SERG LaTeX template for master theses.
  ☆21Updated 4 years ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆37Updated last week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆254Updated last year
• gio54321 / hoare-logic-prover
  Proof-of-concept formal verification using Hoare logic
  ☆21Updated 5 years ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated last week
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆70Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆393Updated this week
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆309Updated last week
• wo / tpg
  Tree Proof Generator
  ☆170Updated 4 months ago
• asolarlez / sketch-backend
  ☆44Updated 9 months ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆79Updated last year
• SERG-Delft / dslinter
  `dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: Tens…
  ☆26Updated 3 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 2 months ago
• iradicek / clara
  CLuster And RepAir tool for introductory programming assignments
  ☆46Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆405Updated 2 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆82Updated last week
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆68Updated this week
• asolarlez / sketch-frontend
  ☆38Updated 3 months ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• gustavoasoares / refazer
  Refazer: Learning Program Transformations from Examples
  ☆30Updated 7 years ago
• caterinaurban / Lyra
  ☆30Updated 11 months ago
• QinxiangCao / UnifySL
  ☆23Updated 5 years ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆205Updated this week
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆129Updated 10 months ago
• reudismam / Refazer
  ☆10Updated 6 years ago
• wslee / duet
  ☆20Updated 3 months ago
• coq-quantum / CoqQ
  ☆27Updated 6 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated 2 years ago
• mikeshulman / Coq-HoTT
  Homotopy type theory
  ☆14Updated 2 years ago