diku-dk / futhark-benchmarks
Various Futhark benchmark programs
☆40Updated last month
Related projects ⓘ
Alternatives and complementary repositories for futhark-benchmarks
- Parallel Programming in Futhark☆48Updated 8 months ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago
- ☆18Updated 6 years ago
- Linear algebra package for Futhark☆17Updated 10 months ago
- Real number computation software☆121Updated 2 years ago
- The Plaid Programming Language Tools☆11Updated 9 years ago
- An experimental language server for SomewhatML☆24Updated last year
- SPSC: A Small Positive Supercompiler☆32Updated 6 months ago
- LVC verified compiler☆57Updated 6 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- Standard library for the Formality language☆18Updated 4 years ago
- Two-Level Type Theory☆27Updated 4 years ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆14Updated 2 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 5 months ago
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 10 months ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- Superposition prover☆16Updated last year
- A programming language with infinite arrays☆31Updated 4 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Randomized testing framework, designed for compatibility with Base☆17Updated last week
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- ☆29Updated 9 years ago
- Git repository containing the Futhark website.☆10Updated 3 weeks ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- An encyclopedia of proofs☆57Updated last week
- A pure type system implemented in OCaml☆77Updated 3 years ago
- OCaml with macros☆54Updated last week
- Macro Lambda Calculus☆45Updated 5 years ago