Alternatives and similar repositories for hpps-e2020-pub:

Users that are interested in hpps-e2020-pub are comparing it to the libraries listed below

• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated last year
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆24Updated last month
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• diku-dk / pmph-e2024-pub
  ☆18Updated last month
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆10Updated 2 months ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 5 months ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆56Updated 3 weeks ago
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated 2 weeks ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆72Updated 2 years 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…
  ☆134Updated 10 months ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆42Updated 3 months ago
• diku-compSys / compSys-e2021-pub
  Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph
  ☆22Updated 3 years ago
• 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
• qnikst / ghc-timings-report
  Experimental tool to build reports on GHC build time for your projects.
  ☆24Updated 2 years ago
• diku-dk / su-guides
  Guides and guidelines for software development course
  ☆19Updated last week
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆105Updated this week
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 6 months ago
• codedownio / time-ghc-modules
  Analyze GHC .dump-timings files
  ☆105Updated last year
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆112Updated last year
• well-typed / visualize-cbn
  ☆99Updated last month
• Saizan / cubical-demo
  ☆45Updated 5 years ago
• yoricksijsling / ornaments-thesis
  My master thesis about generic programming and ornaments
  ☆16Updated 8 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆44Updated 3 months ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆51Updated 11 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago