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 2 months ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated last year
• diku-dk / futhark-mode
  Emacs major mode for editing Futhark programs
  ☆11Updated 3 weeks ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆36Updated this week
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 2 years ago
• david-christiansen / bob24
  ☆14Updated last year
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆92Updated this week
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated last month
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆15Updated 2 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated 6 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• gradbench / gradbench
  Benchmarks for differentiable programming across languages and domains.
  ☆13Updated this week
• DavidJaz / DynamicalSystemsBook
  ☆46Updated 10 months ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated 2 weeks ago
• gstew5 / games
  ☆10Updated 5 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated last month
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆58Updated 2 months ago
• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 3 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 7 months ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 9 months ago