Alternatives and similar repositories for honours-project-constructive-analysis-in-agda

Users that are interested in honours-project-constructive-analysis-in-agda are comparing it to the libraries listed below

• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆64Updated 3 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆103Updated 3 years ago
• guillaumebrunerie / initiality
  A formalized proof of a version of the initiality conjecture
  ☆43Updated 5 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆55Updated 3 weeks ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆61Updated 2 months ago
• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 6 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 3 years ago
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆46Updated last year
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆102Updated last month
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 3 months ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 3 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆80Updated last year
• ayberkt / formal-topology-in-UF
  Formal Topology in Univalent Foundations (WIP).
  ☆36Updated 3 years ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 3 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• flupe / generics
  ☆23Updated last year
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated last month
• gallais / agda-nbe
  Formalizing nbe in agda
  ☆31Updated 12 years ago
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆54Updated 3 years ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆117Updated last year
• jespercockx / scope
  An agda2hs-compatible library for well-scoped syntax
  ☆11Updated 4 months ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆34Updated 4 years ago
• felixwellen / synthetic-geometry
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆24Updated last year
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆65Updated last week
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆57Updated 6 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆36Updated 9 months ago
• thehottgame / theHoTTGameGuide
  ☆24Updated last month
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆107Updated 4 years ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆72Updated 6 years ago
• AndrasKovacs / antifunext
  antifunext
  ☆34Updated last year