diku-dk / futhark-benchmarksLinks
Various Futhark benchmark programs
☆42Updated 2 weeks ago
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 2 weeks ago
- ☆18Updated 6 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Linear algebra package for Futhark☆17Updated 4 months ago
- Real number computation software☆124Updated 2 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
- Superposition prover☆17Updated 2 years ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- ☆29Updated 9 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- You are trapped on an infinite tile floor along with murderous marbles☆10Updated 8 months ago
- LVC verified compiler☆57Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Standard library for the Formality language☆18Updated 5 years ago
- A minimalist implementation of type theory, suitable for experimentation☆15Updated 7 months ago
- Higher-order optimization library☆74Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- Idris LLVM codegen factored out☆80Updated 7 years ago
- An arbitrary-precision differentiable programming language.☆36Updated last year