Alternatives and similar repositories for Hagl:

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

• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆86Updated 3 months ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆80Updated 8 years ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 2 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• agda / agda-pkg
  apkg - package manager for Agda
  ☆37Updated 3 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆77Updated last year
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• transient-haskell / transient-stack
  All the Transient libraries
  ☆39Updated last week
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆112Updated last year
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 weeks ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 2 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆126Updated last year
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 4 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 8 months ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 8 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated last year
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆36Updated 4 years ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last month