pepijndevos / futhark-pycffi
Python library using the Futhark C backend via CFFI
☆23Updated last year
Alternatives and similar repositories for futhark-pycffi:
Users that are interested in futhark-pycffi are comparing it to the libraries listed below
- Linear algebra package for Futhark☆17Updated last month
- Accelerated machine learning with dependent types☆87Updated last week
- Data Parallel Programming☆22Updated last year
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆34Updated this week
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Emacs major mode for editing Futhark programs☆11Updated 3 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Interpret Haskell programs into any cartesian closed category.☆58Updated last month
- Fast equality saturation in Haskell☆82Updated 9 months ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆185Updated 7 months ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- PMPH course 2020 public repo☆12Updated last year
- Text generation language☆33Updated last month
- A continuation-based backtracking logic programming monad☆86Updated 3 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A Haskell probabilistic programming library.☆18Updated last week
- Library for writing interactive and visual Futhark programs☆22Updated 8 months ago
- A Haskell DSEL for experimental game theory.☆36Updated 2 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆96Updated 4 months ago
- Effective Algebraic Topology in Haskell☆89Updated 5 months ago
- Reimplementation of a subset of Cabal☆24Updated this week
- ☆34Updated 3 months ago
- ☆46Updated 9 months ago
- Parallel Functional Programming, 2020☆15Updated last year
- Rough and Ready Haskell Notebooks with HLS and VS Code☆45Updated 2 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆123Updated 11 months ago
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 2 months ago