Alternatives and similar repositories for KU-courses:

Users that are interested in KU-courses are comparing it to the libraries listed below

• diku-dk / pmph-e2024-pub
  ☆18Updated 2 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆10Updated 3 months ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆56Updated 2 months ago
• diku-dk / dpp-e2023-pub
  Repository for the DPP'23 course
  ☆11Updated 11 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆165Updated 2 months ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 6 months ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆24Updated 2 months ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 2 weeks ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• axiomed / http
  🌐 | HTTP primitives for Lean 4
  ☆34Updated 5 months ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆132Updated this week
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆36Updated last week
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• KislyjKisel / Raylib.lean
  Raylib bindings for Lean4
  ☆25Updated last week
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• marcusrossel / verified-compiler
  A toy example of a verified compiler.
  ☆28Updated this week
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆94Updated this week
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆26Updated 5 months ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on Call-by-push-value
  ☆53Updated last month
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆70Updated 4 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆22Updated this week
• T-Brick / c0deine
  Reference compiler for c0
  ☆35Updated 7 months ago
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last week
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 6 months ago