tmcdonell / cuda

Related projects ⓘ

Alternatives and complementary repositories for cuda

• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆138Updated 9 months ago
• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆52Updated last year
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 7 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 2 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆110Updated last year
• int-index / ether
  Monad Transformers and Classes
  ☆78Updated 5 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 3 years ago
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• abailly / hs-word2vec
  A port of Google's word2vec to Haskell
  ☆26Updated 8 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 4 years ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated 3 weeks ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 7 months ago
• ifesdjeen / haskell-ffi-tutorial
  A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop
  ☆84Updated 10 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆95Updated 2 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 11 months ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆102Updated 3 weeks ago
• simonmar / monad-par
  ☆124Updated 11 months ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆39Updated last year
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆36Updated 2 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 8 months ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year