Alternatives and similar repositories for futhark-pycffi

Users that are interested in futhark-pycffi are comparing it to the libraries listed below

• diku-dk / linalg
  Linear algebra package for Futhark
  ☆17Updated 4 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆51Updated 2 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆37Updated this week
• diku-dk / futhark-mode
  Emacs major mode for editing Futhark programs
  ☆11Updated last week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated this week
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated 2 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 2 weeks ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 4 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• david-christiansen / bob24
  ☆16Updated last year
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated 6 months ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last week
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 8 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated last month
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆60Updated 4 months ago
• zsedem / haskell-cpython
  ☆28Updated 3 months ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• dennybritz / probability-monads
  ☆9Updated 2 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆23Updated last week
• mortvest / hastl
  HaSTL: A fast GPU implementation of STL decomposition with missing values and support for both CUDA and OpenCL
  ☆12Updated last year
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 11 months ago
• gstew5 / games
  ☆10Updated 5 years ago