Alternatives and similar repositories for CleanMagic-hakyll:

Users that are interested in CleanMagic-hakyll are comparing it to the libraries listed below

• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 6 years ago
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆26Updated 6 years ago
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆50Updated last year
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆97Updated 6 months ago
• philipp-zahn / open-games-engine
  Haskell implementation of open games
  ☆36Updated 6 months ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆30Updated 4 years ago
• fredefox / cat
  A formalization of category theory in cubical Agda
  ☆58Updated 4 years ago
• Coq-Math-Problems / Problems
  ☆16Updated 7 years ago
• takenobu-hs / haskell-ethereum-assembly
  EVM (Ethereum virtual machine) Assembly on Haskell DSL
  ☆66Updated 6 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 10 months ago
• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆43Updated last month
• rocq-prover / rfcs
  Rocq RFCs: documents to discuss changes to the Rocq Prover
  ☆56Updated 3 months ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated last year
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• input-output-hk / plutus-metatheory
  Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)
  ☆9Updated 3 years ago
• anoma / juvix-stdlib
  The Juvix standard library
  ☆14Updated this week
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• runtimeverification / plutus-core-semantics
  ☆27Updated 10 months ago
• effectfully / OTT
  Observational Type Theory as an Agda library
  ☆52Updated 7 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• haskell-core / core-libraries-proposals
  Proposed changes to Haskell Core Libraries
  ☆19Updated 4 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• andrejbauer / what-is-algebraic-about-algebraic-effects
  ☆46Updated 5 years ago
• gmalecha / template-coq
  Reflection library for Coq
  ☆12Updated 5 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year