diku-dk / lys
Library for writing interactive and visual Futhark programs
☆22Updated 3 months ago
Related projects: ⓘ
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 3 months ago
- ☆33Updated 5 months ago
- An extended typed Lambda Calculus☆20Updated last month
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆52Updated 4 months ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆64Updated 7 years ago
- Apple array system☆53Updated this week
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- A dependent type theory with user defined data types☆46Updated 2 years ago
- Accelerated machine learning with dependent types☆73Updated last month
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago
- A verified compiler for a lazy functional language☆31Updated this week
- Inigo: A Package Manager for Idris2☆60Updated last year
- Text generation language☆31Updated last week
- Haskell [re]implementation of Hap, a simple event-based programming language.☆12Updated 4 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago
- A pure type system implemented in OCaml☆78Updated 3 years ago
- LLVM code generation in Haskell☆49Updated 11 months ago
- A core language and API for dependently typed languages☆88Updated 9 months ago
- source code for the bondi programming language☆38Updated 5 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆23Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆40Updated 4 years ago
- CNN in APL☆21Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆26Updated last year
- Changes and Pinafore projects. Pull requests not accepted.☆32Updated this week
- A simple functional programming language.☆20Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆12Updated 3 months ago
- The Stroscot Programming Language☆13Updated 8 months ago