joshniemela / KU-courses
A better version of KU's course catalogue
☆19Updated last month
Related projects ⓘ
Alternatives and complementary repositories for KU-courses
- ☆18Updated 3 weeks ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Public repository for Advanced Programming☆57Updated 3 weeks ago
- PMPH course 2020 public repo☆12Updated 10 months ago
- Generic package manager for Standard ML libraries and programs☆162Updated last month
- Public repository for the 2023 edition of HPPS☆19Updated 10 months ago
- How do I DIKU? How indeed.☆22Updated this week
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 3 years ago
- Public archive of material performed on stage through the life time of DIKUrevy☆26Updated 9 months ago
- Public repository for the HPPS course☆17Updated 2 years ago
- A Language with Dependent Data and Codata Types☆58Updated this week
- Public repository for HPPS 2022☆21Updated last year
- Haskell bindings for MLIR☆97Updated last month
- agda-mode for neovim☆134Updated 3 weeks ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆152Updated last week
- Slides til infoskærmen☆8Updated last month
- Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph☆22Updated 2 years ago
- Parallel Functional Programming, 2020☆15Updated 10 months ago
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- Large Scale Type Systems (programming language)☆113Updated this week
- A proof assistant for higher-dimensional type theory☆147Updated last week
- Repository for the DPP'23 course☆11Updated 6 months ago
- A custom parser/auto-formatter for Standard ML☆68Updated 11 months ago
- The official interpreter for the Jeopardy language☆16Updated last year
- An introduction to theorem proving in Lean for the impatient.☆112Updated last week
- VSCode extension that is designed to help automate writing of Coq proofs.☆73Updated this week
- Lean documentation authoring tool☆124Updated this week
- Functional choreographic programming in Haskell☆80Updated last month
- Accelerated machine learning with dependent types☆79Updated this week
- ☆77Updated 2 months ago