Alternatives and similar repositories for dpp-e2024-pub:

Users that are interested in dpp-e2024-pub are comparing it to the libraries listed below

• diku-dk / pmph-e2024-pub
  ☆17Updated 2 months ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated last month
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆24Updated last week
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆56Updated 2 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• kfl / ebpf-tools
  Experiments with eBPF bytecode
  ☆12Updated 10 months ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆13Updated 4 months ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated last year
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated last year
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• diku-dk / hpps-e2024-pub
  Public repository for HPPS
  ☆11Updated last week
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 4 months ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆58Updated this week
• lexa-lang / lexa
  ☆29Updated 3 months ago
• leanprover / SHerLOC
  A StableHLO analyzer in Lean
  ☆15Updated 3 months ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on Call-by-push-value
  ☆53Updated last month
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆105Updated this week
• diku-dk / dpp-e2023-pub
  Repository for the DPP'23 course
  ☆11Updated 8 months ago
• diku-dk / pfp-e2019-pub
  Public repository for the 2019 Parallel Functional Programming course at DIKU
  ☆14Updated 5 years ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆14Updated 4 months ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆19Updated 3 months ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 3 years ago
• andrejbauer / formalized-mathematics-in-lean
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆23Updated last week
• CodderPrince / 52-Programming-Problem-Tamim-Shahriar-Subeen
  ☆16Updated last month
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆18Updated last week
• HosamKsbaa / 101-Example-Project-
  ☆42Updated last month
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆19Updated last week
• RLprojects-envs / OOP
  ☆11Updated 3 months ago