diku-dk / hpps-e2023-pub
Public repository for the 2023 edition of HPPS
☆19Updated last year
Alternatives and similar repositories for hpps-e2023-pub:
Users that are interested in hpps-e2023-pub are comparing it to the libraries listed below
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- A better version of KU's course catalogue☆19Updated last week
- ☆18Updated 3 months ago
- PMPH course 2020 public repo☆12Updated last year
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 4 years ago
- Public repository for the HPPS course☆17Updated 3 years ago
- Call Futhark programs from Standard ML☆10Updated 7 months ago
- Python library using the Futhark C backend via CFFI☆23Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 2 months ago
- HTTP utility library for Standard ML☆11Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 7 months ago
- Implementation of the Delta Language☆8Updated last year
- Standard ML Parser Combinator Library☆16Updated 7 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆70Updated 8 years ago
- A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU☆14Updated 6 years ago
- Parallel Functional Programming, 2020☆16Updated last year
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- A minimal proof checker.☆75Updated 7 months ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Work in progress on semi-simplicial types☆23Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Linear algebra package for Futhark☆17Updated 3 months ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- A Language with Dependent Data and Codata Types☆99Updated last week
- A formalization of the theory behind the mugen library☆19Updated 10 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆36Updated this week
- toy implementation of Hindley-Milner type system that prints out inference steps☆11Updated 3 weeks ago
- Haskell to brainfuck compiler☆29Updated 10 years ago