conal / talk-2016-generic-fft

Related projects ⓘ

Alternatives and complementary repositories for talk-2016-generic-fft

• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆52Updated last year
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 2 months ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 8 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• goldfirere / dependent-db
  ☆20Updated 7 years ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆102Updated 3 weeks ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆45Updated 6 years ago
• abailly / hs-word2vec
  A port of Google's word2vec to Haskell
  ☆26Updated 8 years ago
• yav / dump-core
  ☆45Updated 2 years ago
• conal / talk-2016-generic-parallel-scan
  Talk on generic parallel scan
  ☆14Updated 7 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• Gabriella439 / Haskell-Bears-Library
  Relational algebra
  ☆25Updated 7 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• erikd / jenga
  Generate a cabal freeze file from a stack.yaml
  ☆36Updated 6 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 11 months ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 4 years ago
• gibiansky / ghc-reskin
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆39Updated 9 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 7 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• chrisdone-archive / labels
  Declare and access tuple fields with labels
  ☆60Updated 5 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆68Updated last month
• int-index / ether
  Monad Transformers and Classes
  ☆78Updated 5 years ago