diku-dk / futhark-benchmarksLinks
Various Futhark benchmark programs
☆42Updated last month
Alternatives and similar repositories for futhark-benchmarks
Users that are interested in futhark-benchmarks are comparing it to the libraries listed below
Sorting:
- Parallel Programming in Futhark☆48Updated last month
- Superposition prover☆17Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- ☆19Updated 6 years ago
- Real number computation software☆125Updated 2 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 6 years ago
- The Plaid Programming Language Tools☆12Updated 10 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- A simple "columnar database" based on memory-mapped files, written in APL☆34Updated 5 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆53Updated last month
- Linear algebra package for Futhark☆17Updated 6 months ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- An arbitrary-precision differentiable programming language.☆36Updated 2 years ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆73Updated 8 years ago
- Animation of Yves Lafont's Interaction Combinators☆18Updated 3 years ago
- LVC verified compiler☆57Updated 6 years ago
- Haskell bindings to SymEngine☆26Updated last year
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- An extended typed Lambda Calculus☆21Updated 11 months ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- An encyclopedia of proofs☆60Updated 8 months ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 4 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆10Updated 9 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago