diku-dk / futhark-book
Parallel Programming in Futhark
☆48Updated 6 months ago
Related projects: ⓘ
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- Various Futhark benchmark programs☆40Updated 2 months ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆40Updated 4 years ago
- A tutorial to the Idris Programming Language.☆95Updated 8 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- The Twelf Programming Language☆105Updated last week
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆52Updated 4 months ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆64Updated 7 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆46Updated last month
- Probabilistic computation in Idris☆33Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆25Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆47Updated 7 months ago
- Real number computation software☆120Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago
- Two-Level Type Theory☆27Updated 4 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆28Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- LVC verified compiler☆57Updated 5 years ago
- ☆13Updated this week
- Mirror of Epigram 2, by Conor McBride, et al.☆47Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆33Updated 4 months ago
- An extended typed Lambda Calculus☆20Updated last month
- A verified compiler for a lazy functional language☆31Updated this week
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- Hoare Type Theory☆68Updated 4 months ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago