sdiehl / galois-fft
Finite field polynomial arithmetic based on fast Fourier transforms
☆19Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for galois-fft
- Encoding of GHC Core inside MLIR☆18Updated 4 years ago
- Finite field and algebraic extension field arithmetic☆50Updated 9 months ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆14Updated 3 years ago
- Deep-embedded combinators for strategic rewriting.☆15Updated 3 years ago
- VERified asSembler for cryptographic primitives☆12Updated last year
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆19Updated this week
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- sliding fast fourier transform using haskell streaming☆13Updated 5 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- An arbitrary-precision differentiable programming language.☆34Updated last year
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Exact real arithmetic in Haskell☆25Updated 2 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆25Updated 10 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆16Updated 4 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆42Updated 7 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆17Updated 4 years ago
- Authenticated Data Structures☆13Updated 9 years ago
- Agda category theory library for denotational design☆48Updated 5 months ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- Various interesting topics I'm looking at☆13Updated 15 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Updated 6 years ago