Alternatives and similar repositories for agda-lecture-notes:

Users that are interested in agda-lecture-notes are comparing it to the libraries listed below

• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated last week
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆183Updated this week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆126Updated last year
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆48Updated last week
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆80Updated 8 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 4 years ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆73Updated last month
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆96Updated 5 months ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆144Updated this week
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 9 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆100Updated 7 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆125Updated last year
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• edwinb / SPLV20
  SPLV20 course notes
  ☆108Updated 2 years ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆173Updated this week
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆77Updated last year
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 11 months ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆159Updated 9 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated last month
• forked-from-1kasper / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆56Updated 3 months ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆41Updated last year
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆100Updated 2 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆33Updated 3 months ago