diku-dk / linalg
Linear algebra package for Futhark
☆17Updated 8 months ago
Related projects: ⓘ
- Data Parallel Programming☆22Updated 8 months ago
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆15Updated 8 months ago
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 3 months ago
- Two-Level Type Theory☆27Updated 4 years ago
- Various Futhark benchmark programs☆40Updated 2 months ago
- Library for writing interactive and visual Futhark programs☆22Updated 3 months ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆63Updated last year
- Parallel Programming in Futhark☆48Updated 6 months ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- A proof of Abel-Ruffini theorem.☆28Updated last month
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆27Updated last month
- Theorems for Real Closed Fields☆13Updated last month
- Mathematical plotting library for ocaml☆31Updated last year
- Miking - the meta viking: a meta-language system for creating embedded languages☆51Updated last week
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆32Updated this week
- Quantitative Type Theory implementation☆54Updated 3 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Updated 2 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated this week
- Owl's Differential Equation Solvers☆34Updated 2 years ago
- A Probability Theory Library for the Coq Theorem Prover☆49Updated 11 months ago
- Python library using the Futhark C backend via CFFI☆23Updated last year
- Agda category theory library for denotational design☆48Updated 3 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- A verified compiler for a lazy functional language☆31Updated this week
- Parallel Functional Programming, 2020☆15Updated 8 months ago
- Research material of Erik Palmgren (1963–2019)☆20Updated last year
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆19Updated last month
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆28Updated 3 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆22Updated 3 weeks ago