Alternatives and similar repositories for galois-fft:

Users that are interested in galois-fft are comparing it to the libraries listed below

• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆50Updated 11 months ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• mit-plv / reification-by-parametricity
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆12Updated 4 years ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• patrickt / tactics
  Deep-embedded combinators for strategic rewriting.
  ☆15Updated 3 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 11 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆19Updated last week
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆15Updated 10 years ago
• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 3 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• bollu / coremlir
  Encoding of GHC Core inside MLIR
  ☆17Updated 4 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆32Updated 3 years ago
• jyp / topics
  Various interesting topics I'm looking at
  ☆13Updated 15 years ago
• SkySkimmer / HoTTClasses
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆15Updated 4 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• bollu / mlir-hs
  Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell
  ☆16Updated 4 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• haflang / heron
  A special-purpose processor for pure, non-strict functional languages
  ☆25Updated last week
• GaloisInc / lean-protocol-support
  This project contains various supporting libraries for lean to reason about protocols.
  ☆42Updated 7 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆36Updated 4 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 3 months ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆39Updated 2 years ago
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 8 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year