diku-dk / futhark-benchmarks
Various Futhark benchmark programs
☆41Updated 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
- Parallel Programming in Futhark☆48Updated 2 months ago
- ☆18Updated 6 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago
- A framework for applied category theory in the Julia language☆11Updated 2 years ago
- Linear algebra package for Futhark☆17Updated 2 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- An arbitrary-precision differentiable programming language.☆34Updated last year
- Two-Level Type Theory☆28Updated 5 years ago
- Calculus of Constructions Implementation☆15Updated 5 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Real number computation software☆123Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 3 weeks ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Datalog + Egg = Good☆66Updated last year
- SPSC: A Small Positive Supercompiler☆34Updated 10 months ago
- Superposition prover☆17Updated 2 years ago
- ☆29Updated 9 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆70Updated 8 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Standard library for the Formality language☆18Updated 5 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- An LLVM interface for Lean 4. (WIP)☆20Updated last year
- embedding MLIR in LEAN☆47Updated 9 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 11 months ago