diku-dk / futhark-bookLinks
Parallel Programming in Futhark
☆49Updated 3 weeks ago
Alternatives and similar repositories for futhark-book
Users that are interested in futhark-book are comparing it to the libraries listed below
Sorting:
- Various Futhark benchmark programs☆42Updated 3 months ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- An extended typed Lambda Calculus☆21Updated last year
- A verified compiler for a lazy functional language☆37Updated 2 weeks ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Real number computation software☆128Updated 3 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- Source files used for the Cedille Cast videos☆13Updated 5 years ago
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- An experimental category theory library for Lean☆50Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 4 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- SKI combinators☆55Updated 8 years ago
- An encyclopedia of proofs☆63Updated 11 months ago
- LVC verified compiler☆58Updated 7 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- source code for the bondi programming language☆42Updated 6 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆81Updated 8 years ago