pepijndevos / futhark-pycffiLinks
Python library using the Futhark C backend via CFFI
☆26Updated 2 months ago
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☆100Updated last month
- Practical Deep Learning in Haskell now!☆51Updated 2 years ago
- Linear algebra package for Futhark☆17Updated last week
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆40Updated this week
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 4 months ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Python bindings for dhall, a functional configuration language☆48Updated 10 months ago
- A Haskell probabilistic programming library.☆20Updated last month
- A toolkit for enforcing logical specifications on neural networks☆110Updated this week
- Effective Algebraic Topology in Haskell☆90Updated last year
- Fast equality saturation in Haskell☆88Updated 2 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 2 months ago
- Interpret Haskell programs into any cartesian closed category.☆65Updated last week
- hyphen - access Haskell modules from Python☆109Updated 2 months ago
- A topological data analysis library for Haskell☆29Updated 4 years ago
- Very controlled natural language tactics for Lean☆64Updated last year
- A Python backed for Idris 2☆27Updated 2 weeks ago
- Ground Zero: Lean 4 HoTT Library☆70Updated last week
- Lean4 port of Arduino balance car controller☆45Updated 4 years ago
- ☆50Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆37Updated this week
- Agda category theory library for denotational design☆53Updated last month
- Tutorial series introducing Agda to the people at BCAM☆27Updated 3 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated last year
- High level commands to declare a hierarchy based on packed classes☆102Updated last week
- Haskell bindings for MLIR☆111Updated 7 months ago
- An equational theorem prover based on Knuth-Bendix completion☆54Updated 2 weeks ago