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
- A better version of KU's course catalogue☆19Updated 3 months ago
- ☆18Updated 2 months ago
- Demo for dependent types + runtime code generation☆68Updated last month
- HTTP utility library for Standard ML☆11Updated last year
- Call Futhark programs from Standard ML☆10Updated 6 months ago
- Accelerated machine learning with dependent types☆92Updated this week
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated last month
- Advent of Futhark☆13Updated 4 months ago
- Standard ML Parser Combinator Library☆16Updated 6 months ago
- A Language with Dependent Data and Codata Types☆94Updated this week
- PMPH course 2020 public repo☆12Updated last year
- The glitch-soc/Mastodon fork running on types.pl☆22Updated 2 weeks ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Python library using the Futhark C backend via CFFI☆23Updated last year
- A custom parser/auto-formatter for Standard ML☆75Updated 3 weeks ago
- Natural language tactics to teach mathematics using Lean 4☆66Updated last week
- Effective Algebraic Topology in Haskell☆90Updated 6 months ago
- A minimal proof checker.☆75Updated 6 months ago
- A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU☆14Updated 5 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago
- Library for writing interactive and visual Futhark programs☆22Updated 10 months ago
- A constructive proof assistant for second order logic.☆34Updated 6 months ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- high-performance cubical evaluation☆70Updated 4 months ago
- Course website for Data Parallel Programming at DIKU☆10Updated 3 months ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 2 weeks ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- Programming with pure lambda calculus☆104Updated 2 weeks ago
- A stepping debugger for Standard ML (SML)☆25Updated last year