diku-dk / linalgLinks
Linear algebra package for Futhark
☆17Updated 3 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☆43Updated this week
- An equational theorem prover based on Knuth-Bendix completion☆57Updated last month
- Two-Level Type Theory☆28Updated 6 years ago
- Real number computation software☆129Updated 3 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Updated 3 months ago
- Operad Programming Language in Haskell, by David Darais☆33Updated 11 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Parallel Programming in Futhark☆49Updated 2 months ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 5 years ago
- A verified compiler for a lazy functional language☆37Updated this week
- Generation of abstract binding trees☆27Updated 3 months ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- An extended typed Lambda Calculus☆21Updated last year
- Python library using the Futhark C backend via CFFI☆26Updated 6 months ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Updated last year
- Interpreter for the reversible functional language rFun☆38Updated 7 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆55Updated 2 weeks ago
- A Python backed for Idris 2☆29Updated last month
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- Library for writing interactive and visual Futhark programs☆22Updated last month
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- ☆19Updated 7 years ago
- Multi-backend GPU query engine written with Futhark☆18Updated 3 years ago
- αProlog☆18Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 5 years ago
- a self-hosting lambda calculus compiler☆37Updated 9 months ago