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 7 months ago
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆30Updated 11 months ago
• facundominguez / stitch-lh
  ☆11Updated 3 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆61Updated 5 months ago
• pointfree-wasm / pointfree-wasm.github.io
  Turn Haskell expressions into pointfree style in your browser with WASM
  ☆13Updated last year
• sweirich / haskelltester
  Simple autograder for Haskell programming assignments
  ☆17Updated 10 months ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆103Updated 4 months ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆19Updated this week
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆60Updated last month
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆104Updated 3 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
• snejugal / typedKanren
  A statically typed embedding of miniKanren in Haskell
  ☆23Updated 6 months ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆106Updated 2 months ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆62Updated 2 years ago
• Rewbert / quickcheck
  Automatic testing of Haskell programs.
  ☆13Updated 6 months ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆62Updated 2 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆92Updated this week
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated last year
• input-output-hk / quickcheck-dynamic
  A library for stateful property-based testing
  ☆33Updated 3 weeks ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 5 years ago
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆11Updated last month
• grin-compiler / ghc-whole-program-compiler-project
  GHC Whole Program Compiler and External STG IR tooling
  ☆120Updated last month
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆120Updated 3 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆63Updated 5 months ago
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated last year
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆109Updated last week
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆28Updated 7 months ago
• noughtmare / gpc
  Leightweight generalized parser combinators
  ☆20Updated 2 years ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆74Updated 6 years ago