diku-dk / lys
Library for writing interactive and visual Futhark programs
☆22Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for lys
- Kempe is a compiled stack-based language☆58Updated last month
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 7 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆25Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 2 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- An extended typed Lambda Calculus☆20Updated 3 months ago
- Fωμ type checker and compiler☆51Updated last year
- A simple functional programming language.☆21Updated 3 years ago
- ☆17Updated 7 months ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- Demo for dependent types + runtime code generation☆54Updated this week
- ☆33Updated 7 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆32Updated this week
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- Category Theory & Cobordism Categories in Lean 4☆14Updated 4 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆16Updated 10 months ago
- A programming language with infinite arrays☆31Updated 4 years ago
- A core language and API for dependently typed languages☆89Updated 11 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A verified compiler for a lazy functional language☆32Updated last month
- IDE support for the functional logic programming language Curry☆27Updated last week
- Data frames for Idris 2☆21Updated last year
- Your happy place for learning APL☆16Updated last year