Alternatives and similar repositories for CleanMagic-hakyll

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

• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆51Updated last year
• astump / cedilleum-spec
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆28Updated 6 years ago
• takenobu-hs / haskell-ethereum-assembly
  EVM (Ethereum virtual machine) Assembly on Haskell DSL
  ☆66Updated 7 years ago
• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 6 years ago
• pirapira / fp-ethereum
  Functional Programming for Ethereum: Intro and Resources
  ☆66Updated 8 years ago
• davidar / hs-ipfs-api
  A Haskell client library for the IPFS API
  ☆26Updated 8 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆133Updated last year
• runtimeverification / haskell-backend
  The symbolic execution engine powering the K Framework
  ☆222Updated this week
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆176Updated 9 months ago
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 3 years ago
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆106Updated 5 months ago
• sdiehl / zkp
  A framework to execute and verify algorithms using Groth16 zkSNARKs.
  ☆89Updated 5 years ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 years ago
• Coq-Math-Problems / Problems
  ☆16Updated 8 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆57Updated last year
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆40Updated 3 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆192Updated 4 months ago
• airalab / hs-web3
  Web3 API for Haskell
  ☆192Updated last year
• ZHaskell / z-botan
  Crypto for Haskell
  ☆37Updated 4 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated 2 months ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆51Updated 3 years ago
• haskell-org / summer-of-haskell
  Source code of summer.haskell.org
  ☆95Updated 7 months ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• emilaxelsson / ho-rewriting
  A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
  ☆12Updated 7 years ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆29Updated 5 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆146Updated 7 years ago