pepijndevos / futhark-pycffi
Python library using the Futhark C backend via CFFI
☆23Updated last year
Related projects ⓘ
Alternatives and complementary repositories for futhark-pycffi
- Accelerated machine learning with dependent types☆79Updated this week
- Linear algebra package for Futhark☆17Updated 10 months ago
- Data Parallel Programming☆22Updated 10 months ago
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- Text generation language☆32Updated 3 weeks ago
- A simple dependently typed language based on the Calculus of Constructions.☆15Updated 4 years ago
- The official interpreter for the Jeopardy language☆16Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆33Updated this week
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 5 months ago
- ☆12Updated 8 months ago
- PhD course on Functional Programming and Climate Impact Research☆48Updated last week
- A Probability Theory Library for the Coq Theorem Prover☆49Updated last year
- Certified Machine Learning☆40Updated 3 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆44Updated 2 years ago
- Fast equality saturation in Haskell☆77Updated 6 months ago
- The Iowa Agda Library☆46Updated 6 months ago
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated 11 months ago
- A Haskell probabilistic programming library.☆17Updated 2 weeks ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- A talk☆28Updated 3 years ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- ☆32Updated 2 weeks ago
- HoTT in Lean 3☆75Updated 4 years ago
- SDL2 bindings for lean☆21Updated 8 months ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- A proof of Abel-Ruffini theorem.☆28Updated last week
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago