chessai / streaming-fft
sliding fast fourier transform using haskell streaming
☆13Updated 6 years ago
Alternatives and similar repositories for streaming-fft:
Users that are interested in streaming-fft are comparing it to the libraries listed below
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆14Updated 7 years ago
- Haskell implementation of a nix binary cache and client.☆13Updated 7 years ago
- ☆10Updated last year
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- The Elements of Statistical Learning in Haskell☆13Updated 7 years ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Haskell dynamic RTS loader☆13Updated 8 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- GHC patched with the -fcompact-holes flag☆11Updated 6 years ago
- Bring fusion to everyone☆13Updated 5 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- Type-level assertion operators☆16Updated 7 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 4 years ago
- Finitely represented /total/ maps☆17Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Updated 8 years ago
- Programmatically create new instances using core-to-core plugins☆11Updated 4 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- CLI tool for Hackage☆26Updated 4 months ago
- Queues with verified and unverified versions☆9Updated 8 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Updated 8 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆21Updated last week
- Folds for recursive types with GHC Generics☆26Updated 5 years ago