diku-dk / hpps-e2021-pub

Related projects ⓘ

Alternatives and complementary repositories for hpps-e2021-pub

• shmulvad / AD-notes
  A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU
  ☆14Updated 5 years ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated last year
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 3 years ago
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆15Updated 9 months ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆17Updated last year
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated last year
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆13Updated last month
• diku-dk / hpps-e2020-pub
  ☆12Updated 3 years ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 2 weeks ago
• diku-dk / pmph-e2024-pub
  ☆18Updated last week
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆15Updated 2 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated last year
• diku-dk / diku-canvas
  Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)
  ☆25Updated 2 months ago
• diku-dk / sml-server
  Web server infrastructure for Standard ML
  ☆13Updated last year
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆26Updated 9 months ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated 9 months ago
• MPLLang / mpllib
  Official library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆15Updated 10 months ago
• diku-dk / img-util-fs
  Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)
  ☆9Updated last year
• olaure01 / yalla
  Yet Another deep embedding of Linear Logic in Coq
  ☆14Updated last month
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆14Updated last month
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated last month
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated last year
• diku-compSys / compSys-e2021-pub
  Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph
  ☆22Updated 2 years ago
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆17Updated last year
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆19Updated last month
• engboris / transcendental-syntax
  Technical interpretation of Girard's transcendental syntax
  ☆13Updated 3 weeks ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆22Updated 2 months ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated last month