Alternatives and similar repositories for Hagl:

Users that are interested in Hagl are comparing it to the libraries listed below

• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆86Updated 4 months ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆114Updated 2 months ago
• dsorokin / aivika
  A multi-method simulation library
  ☆80Updated 8 months ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆67Updated 7 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆80Updated 8 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆86Updated this week
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• conal / Collaboration
  Play/learn/work with me
  ☆100Updated 7 months ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆77Updated last year
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated this week
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 3 weeks ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆125Updated last year
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆83Updated 7 months ago
• edwinb / SPLV20
  SPLV20 course notes
  ☆108Updated 2 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 5 years ago
• xgrommx / agda-ecosystem
  ☆30Updated 6 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated last month
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆38Updated 4 years ago