diku-dk / linalgLinks
Linear algebra package for Futhark
☆17Updated 7 months ago
Alternatives and similar repositories for linalg
Users that are interested in linalg are comparing it to the libraries listed below
Sorting:
- Various Futhark benchmark programs☆42Updated 3 weeks ago
- Real number computation software☆126Updated 3 years ago
- Parallel Programming in Futhark☆48Updated 2 weeks ago
- Python library using the Futhark C backend via CFFI☆25Updated last month
- An equational theorem prover based on Knuth-Bendix completion☆54Updated last month
- Two-Level Type Theory☆28Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- A verified compiler for a lazy functional language☆37Updated last week
- Miking - the meta viking: a meta-language system for creating embedded languages☆55Updated this week
- An extended typed Lambda Calculus☆21Updated last year
- source code for the bondi programming language☆40Updated 6 years ago
- Multi-backend GPU query engine written with Futhark☆18Updated 3 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 6 months ago
- Higher kinded polymorphism in SML☆15Updated 5 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated 3 months ago
- Git repository for the course Logika v računalništvu☆14Updated 3 years ago
- Text generation language☆34Updated last month
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Accelerated machine learning with dependent types☆98Updated 3 weeks ago
- Library for writing interactive and visual Futhark programs☆22Updated 3 weeks ago
- You are trapped on an infinite tile floor along with murderous marbles☆11Updated 11 months ago
- a self-hosting lambda calculus compiler☆37Updated 5 months ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 9 months ago
- Data Parallel Programming☆22Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆75Updated 8 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆67Updated 3 months ago