diku-dk / linalg
Linear algebra package for Futhark
☆17Updated 2 months ago
Alternatives and similar repositories for linalg:
Users that are interested in linalg are comparing it to the libraries listed below
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆10Updated 6 months ago
- Data Parallel Programming☆22Updated last year
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated last month
- Higher kinded polymorphism in SML☆15Updated 4 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- A repository of MetaOCaml packages☆12Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Python library using the Futhark C backend via CFFI☆23Updated last year
- Calculus of Constructions Implementation☆15Updated 5 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Various Futhark benchmark programs☆41Updated 2 weeks ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- A verified compiler for a lazy functional language☆34Updated last month
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated 7 months ago
- Hanoi tower in Coq☆25Updated 3 months ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆31Updated last month
- Revised Omega-categorical Typechecker☆26Updated 4 months ago
- Algebraic proof discovery in Agda☆32Updated 3 years ago
- An extended typed Lambda Calculus☆21Updated 7 months ago
- Research material of Erik Palmgren (1963–2019)☆20Updated 2 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated this week
- Paper and talk☆53Updated last year
- Matita (proof assistant) with embedded elpi☆12Updated 7 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Updated 6 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated last month