diku-dk / futhark-bookLinks
Parallel Programming in Futhark
☆49Updated 2 months 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☆43Updated this week
- An extended typed Lambda Calculus☆21Updated last year
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆64Updated 4 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 5 years ago
- source code for the bondi programming language☆44Updated 6 years ago
- For parts of https://www.ats-lang.org☆26Updated 6 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 9 years ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- A verified compiler for a lazy functional language☆37Updated this week
- theseus, functional programming language with fully reversible computation☆125Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- A pure type system implemented in OCaml☆78Updated 5 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 4 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- ☆16Updated 3 years ago
- The Twelf Programming Language☆147Updated last month
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- SKI combinators☆56Updated 8 years ago
- A tutorial to the Idris Programming Language.☆95Updated 10 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 5 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Practical type inference for arbitrary-rank types☆11Updated 6 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆62Updated last year
- A workshop on learning Agda with minimal prerequisites.☆85Updated 9 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago