pepijndevos / futhark-pycffi
Python library using the Futhark C backend via CFFI
☆23Updated last year
Related projects: ⓘ
- Accelerated machine learning with dependent types☆73Updated last month
- Data Parallel Programming☆22Updated 8 months ago
- Linear algebra package for Futhark☆17Updated 8 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆114Updated 6 months ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- Practical Deep Learning in Haskell now!☆49Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- Theory and Applications of Lenses and Optics☆50Updated 2 years ago
- ☆41Updated 4 months ago
- Implementation of higher-order logic in Python☆56Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆32Updated this week
- Reversible programming in Agda☆11Updated last year
- Ground Zero: Lean 4 HoTT Library☆41Updated last month
- Effective Algebraic Topology in Haskell☆84Updated last week
- Library for writing interactive and visual Futhark programs☆22Updated 3 months ago
- Jupyter notebook for the Lean4 programming language☆23Updated 2 years ago
- ☆17Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆12Updated this week
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆180Updated 2 months ago
- ☆48Updated 2 years ago
- ☆10Updated last year
- WIP collections library for Lean 4☆30Updated this week
- Fast equality saturation in Haskell☆75Updated 4 months ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆24Updated 2 years ago
- ☆21Updated 2 years ago
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- High level commands to declare a hierarchy based on packed classes☆95Updated last week
- Datatypes as quotients of polynomial functors☆33Updated 4 years ago
- Up-to-date and maintained python bindings for dhall, a functional configuration language☆44Updated 11 months ago