diku-dk / linalg
Linear algebra package for Futhark
☆17Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for linalg
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 10 months ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago
- Hanoi tower in Coq☆24Updated last year
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 5 months ago
- Two-Level Type Theory☆27Updated 4 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Various Futhark benchmark programs☆40Updated last month
- Parallel Programming in Futhark☆48Updated 8 months ago
- Real number computation software☆121Updated 2 years ago
- Higher kinded polymorphism in SML☆15Updated 4 years ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- A repository of MetaOCaml packages☆12Updated last year
- A verified compiler for a lazy functional language☆32Updated last month
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆19Updated this week
- Dependently Typed Metaprogramming Exercises☆22Updated 6 years ago
- Python library using the Futhark C backend via CFFI☆23Updated last year
- Data Parallel Programming☆22Updated 10 months ago
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- A type theory with native support for Polynomial Functors.☆38Updated last year
- Agda category theory library for denotational design☆48Updated 5 months ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆14Updated 2 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- ☆18Updated 6 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Calculus of Constructions Implementation☆14Updated 4 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- An extended typed Lambda Calculus☆20Updated 3 months ago
- Research material of Erik Palmgren (1963–2019)☆20Updated last year
- Monadic Constraint Programming framework☆28Updated 6 years ago