diku-dk / futhark-benchmarks
Various Futhark benchmark programs
☆40Updated 2 months ago
Related projects: ⓘ
- Parallel Programming in Futhark☆48Updated 6 months ago
- Linear algebra package for Futhark☆17Updated 8 months ago
- Superposition prover☆15Updated last year
- A framework for applied category theory in the Julia language☆11Updated last year
- SPSC: A Small Positive Supercompiler☆33Updated 4 months ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- ☆39Updated 8 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆51Updated last week
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 5 years ago
- Two-Level Type Theory☆27Updated 4 years ago
- Standard library for the Formality language☆18Updated 4 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆64Updated 7 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- An LLVM interface for Lean 4. (WIP)☆14Updated last year
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- A formally verified compiler for a simple language with numbers and sums☆25Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- LVC verified compiler☆57Updated 5 years ago
- A programming language with infinite arrays☆31Updated 4 years ago
- An experimental language server for SomewhatML☆23Updated last year
- An intensely interactive, graphical theorem prover based on natural deduction☆30Updated 10 years ago
- Pull your compiler up with abstract bootstraps.☆30Updated last year
- EGraphs in OCaml☆59Updated 8 months ago
- The Plaid Programming Language Tools☆11Updated 9 years ago
- An encyclopedia of proofs☆56Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆52Updated 4 months ago
- Modernized Sisal Interpreter☆27Updated 5 years ago
- Real number computation software☆120Updated 2 years ago
- ☆28Updated 9 years ago