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 last year
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 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
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 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
  ☆20Updated this week
• sdiehl / shamir
  Shamir Secret Sharing
  ☆20Updated 5 years ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 3 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 2 months ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆20Updated 4 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 8 years ago
• TravisWhitaker / libglaswegian
  Use GHC's Memory Allocator from C
  ☆11Updated 5 years ago
• chessai / streaming-fft
  sliding fast fourier transform using haskell streaming
  ☆13Updated 6 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• derekelkins / ads
  Authenticated Data Structures
  ☆13Updated 9 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 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
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated 3 months ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 7 years ago
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 8 years ago
• jonsterling / coq-guarded-computational-type-theory
  ☆21Updated 6 years ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• bollu / mlir-hs
  Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell
  ☆16Updated 4 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 3 months ago