pepijndevos / futhark-pycffiLinks
Python library using the Futhark C backend via CFFI
☆25Updated last month
Alternatives and similar repositories for futhark-pycffi
Users that are interested in futhark-pycffi are comparing it to the libraries listed below
Sorting:
- Accelerated machine learning with dependent types☆97Updated last week
- Linear algebra package for Futhark☆17Updated 7 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆39Updated this week
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Practical Deep Learning in Haskell now!☆52Updated 2 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Python bindings for dhall, a functional configuration language☆48Updated 8 months ago
- A toolkit for enforcing logical specifications on neural networks☆108Updated this week
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- A Haskell probabilistic programming library.☆19Updated 3 months ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- ☆21Updated 3 years ago
- A topological data analysis library for Haskell☆29Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated last month
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 3 weeks ago
- Haskell bindings for MLIR☆109Updated 5 months ago
- Certified Machine Learning☆41Updated 4 years ago
- A formalization of ML kernel languages☆22Updated this week
- Effective Algebraic Topology in Haskell☆91Updated 10 months ago
- ☆44Updated 2 years ago
- ☆49Updated last year
- A talk☆28Updated 4 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Fast equality saturation in Haskell☆86Updated 3 weeks ago