Alternatives and similar repositories for thesis-template

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

• jwshii / etna
  ☆11Updated last month
• sweirich / haskelltester
  Simple autograder for Haskell programming assignments
  ☆17Updated 4 months ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 9 months ago
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆11Updated last month
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆58Updated last year
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated 2 years ago
• facundominguez / stitch-lh
  ☆11Updated 3 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆43Updated 4 years ago
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆28Updated 5 months ago
• jespercockx / ataca
  A TACtic library for Agda
  ☆48Updated 9 months ago
• wenkokke / msla2014
  wherein I implement several substructural logics in Agda
  ☆24Updated 6 years ago
• AndrasKovacs / SemanticsWithApplications
  Formal semantics in Agda.
  ☆16Updated 9 years ago
• BillHallahan / G2
  ☆36Updated this week
• slindley / effect-handlers
  ☆84Updated last year
• davdar / maam
  A monadic approach to static analysis following the methodology of AAM
  ☆18Updated 9 years ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated 2 years ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆50Updated 6 months ago
• ezyang / lr-agda
  Logical relations proof in Agda
  ☆26Updated 10 years ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 2 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• rocq-community / docker-coq-action
  GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
  ☆13Updated 3 months ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• agda / agda-stdlib-meta
  Meta-programming utilities for Agda.
  ☆19Updated this week
• flupe / generics
  ☆23Updated 11 months ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• rocq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆59Updated 9 months ago
• j-mie6 / design-patterns-for-parser-combinators
  A Really Cool Calculator written in Haskell... or is it?
  ☆43Updated 3 years ago
• rafaelcgs10 / W-in-Coq
  This is a Coq formalization of Damas-Milner type system and its algorithm W.
  ☆29Updated 4 years ago
• jozefg / nbe-for-mltt
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆127Updated last year
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year