diku-dk / hpps-e2020-pub

Related projects ⓘ

Alternatives and complementary repositories for hpps-e2020-pub

• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated last year
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• diku-dk / pmph-e2024-pub
  ☆18Updated 3 weeks ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 3 years ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 2 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated 10 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated 10 months ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆57Updated 3 weeks ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆22Updated this week
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆13Updated 2 months ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆102Updated 2 weeks ago
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆127Updated 7 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated last year
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆66Updated 11 months ago
• haskellfoundation / volunteering
  Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.
  ☆26Updated last year
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated last month
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆162Updated last month
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated 10 months ago
• diku-its / its-e2020
  Public material for IT-security, B1, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆10Updated 4 years ago
• kantinen / kantinfo
  a simple infoscreen system
  ☆12Updated last month
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆16Updated last year
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆44Updated 4 months ago
• tonyday567 / checklist
  How I start Haskell.
  ☆99Updated last month
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆33Updated 5 months ago
• haskell / core-libraries-committee
  ☆95Updated this week
• haskell-cryptography / libsodium-bindings
  Bindings to libsodium for Haskell
  ☆32Updated this week