Alternatives and similar repositories for thesis-template:

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

• jwshii / etna
  ☆10Updated last month
• sweirich / haskelltester
  Simple autograder for Haskell programming assignments
  ☆17Updated 2 months ago
• AndrasKovacs / SemanticsWithApplications
  Formal semantics in Agda.
  ☆16Updated 9 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• wenkokke / AutoInAgda
  Proof automation – for Agda, in Agda.
  ☆44Updated 4 years ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆24Updated last week
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 7 months ago
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆11Updated last week
• VictorCMiraldo / agda-rw
  This is the place where (more or less) stable releases of my RW library will be published.
  ☆16Updated 4 years ago
• amesgen / jsaddle-wasm
  JSaddle integration for the GHC Wasm backend
  ☆17Updated last month
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated last week
• AndrasKovacs / stlc-nbe
  Correctness of normalization-by-evaluation for STLC
  ☆22Updated 5 years ago
• wenkokke / msla2014
  wherein I implement several substructural logics in Agda
  ☆24Updated 6 years ago
• ezyang / lr-agda
  Logical relations proof in Agda
  ☆26Updated 9 years ago
• agda / agda-stdlib-meta
  Meta-programming utilities for Agda.
  ☆19Updated last week
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆62Updated 3 years ago
• AndrasKovacs / antifunext
  antifunext
  ☆32Updated 9 months ago
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆28Updated 3 months ago
• thiagofelicissimo / BiTTs
  ☆24Updated 7 months ago
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆59Updated last year
• zaklogician / linear-constructive
  Linear Logic for Constructive Mathematics, in Agda
  ☆17Updated 5 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 2 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆26Updated 3 months ago
• rocq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆58Updated 7 months ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆52Updated last year
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆20Updated last year
• brunofx86 / LL
  Formalization of Linear Logic
  ☆10Updated 7 years ago
• gallais / type-scope-semantics
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆22Updated 6 years ago
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 7 years ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 2 years ago