diku-dk / hpps-e2023-pub
Public repository for the 2023 edition of HPPS
☆19Updated 8 months ago
Related projects: ⓘ
- ☆16Updated this week
- HTTP utility library for Standard ML☆11Updated last year
- A better version of KU's course catalogue☆19Updated last month
- Official library for the MPL compiler (https://github.com/mpllang/mpl)☆15Updated 8 months ago
- Call Futhark programs from Standard ML☆10Updated last week
- Linear algebra package for Futhark☆17Updated 8 months ago
- Standard ML Parser Combinator Library☆15Updated last week
- Git repository containing the Futhark website.☆10Updated 2 weeks ago
- PMPH course 2020 public repo☆12Updated 8 months ago
- Programming with pure lambda calculus☆85Updated last week
- A custom parser/auto-formatter for Standard ML☆67Updated 9 months ago
- Public repository for the HPPS course☆17Updated 2 years ago
- A Futhark binding generator for Rust and OCaml☆27Updated 7 months ago
- The future of programming.☆69Updated 3 years ago
- A constructive proof assistant for second order logic.☆32Updated 6 months ago
- Parallel Functional Programming, 2020☆15Updated 8 months ago
- Reference compiler for c0☆28Updated last month
- Like the Programming Languages Zoo but with esoteric languages.☆26Updated 4 years ago
- Library for writing interactive and visual Futhark programs☆22Updated 3 months ago
- Work in progress on semi-simplicial types☆23Updated last year
- WIP stack language that uses regex for control flow☆40Updated 11 months ago
- Advent of Futhark☆13Updated last year
- Haskell to brainfuck compiler☆29Updated 10 years ago
- Effective Algebraic Topology in Haskell☆84Updated last week
- The official interpreter for the Jeopardy language☆16Updated last year
- Apple array system☆53Updated this week
- high-performance cubical evaluation☆67Updated 2 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆49Updated 4 months ago
- A bidirectional type checker☆55Updated 7 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago