pepijndevos / futhark-pycffiLinks
Python library using the Futhark C backend via CFFI
☆25Updated 2 years ago
Alternatives and similar repositories for futhark-pycffi
Users that are interested in futhark-pycffi are comparing it to the libraries listed below
Sorting:
- Practical Deep Learning in Haskell now!☆52Updated 2 years ago
- Linear algebra package for Futhark☆17Updated 5 months ago
- Accelerated machine learning with dependent types☆95Updated 3 weeks ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆38Updated this week
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 7 months ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Interpret Haskell programs into any cartesian closed category.☆61Updated last month
- A topological data analysis library for Haskell☆29Updated 4 years ago
- Data Parallel Programming☆22Updated last year
- Define communication protocols between applications using algebraic data types.☆47Updated 2 years ago
- Agda category theory library for denotational design☆51Updated last year
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- A Haskell probabilistic programming library.☆19Updated last month
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Haskell library for representing and manipulating Symbolic Regression Tree☆10Updated last week
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Fast equality saturation in Haskell☆84Updated 4 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last month
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated 2 months ago
- ☆23Updated 3 years ago
- A talk☆28Updated 4 years ago
- Emacs major mode for editing Futhark programs☆11Updated last month
- ☆16Updated last year
- ☆48Updated last year
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆12Updated 3 years ago
- Text generation language☆34Updated last month
- The theory of algebraic graphs formalised in Agda☆90Updated 6 years ago