Skip to content
@diku-dk

DIKU

Department of Computer Science at the University of Copenhagen

Pinned Loading

  1. futhark futhark Public

    💥💻💥 A data-parallel functional programming language

    Haskell 2.4k 167

  2. smlpkg smlpkg Public

    Generic package manager for Standard ML libraries and programs

    Standard ML 162 6

  3. howto howto Public

    How do I DIKU? How indeed.

    TeX 24 2

Repositories

Showing 10 of 212 repositories
  • futhark Public

    💥💻💥 A data-parallel functional programming language

    diku-dk/futhark’s past year of commit activity
    Haskell 2,443 ISC 167 60 (5 issues need help) 6 Updated Jan 3, 2025
  • install-mlton Public

    Install MLton in GitHub Actions.

    diku-dk/install-mlton’s past year of commit activity
    2 0 0 0 Updated Jan 3, 2025
  • sml-pretty Public

    Prettyprinter based on KFL's SML port of Wadler's printer

    diku-dk/sml-pretty’s past year of commit activity
    Standard ML 5 LGPL-3.0 0 0 0 Updated Jan 3, 2025
  • smlpkg Public

    Generic package manager for Standard ML libraries and programs

    diku-dk/smlpkg’s past year of commit activity
    Standard ML 162 MIT 6 2 1 Updated Jan 3, 2025
  • hpps-e2024-pub Public

    Public repository for HPPS

    diku-dk/hpps-e2024-pub’s past year of commit activity
    C 11 1 0 0 Updated Jan 3, 2025
  • SFaaSOnOrleans Public

    SFaaSOnOrleans is a Stateful Function as a Service (SFaaS) platform on top of Microsoft Orleans.

    diku-dk/SFaaSOnOrleans’s past year of commit activity
    C# 0 0 0 0 Updated Jan 2, 2025
  • autodiff Public

    Utilities for automatic differentiation in Futhark

    diku-dk/autodiff’s past year of commit activity
    Futhark 3 0 0 0 Updated Jan 1, 2025
  • image-website Public

    Research section covering fields of Image Analysis, Computational Modelling, and Geometry.

    diku-dk/image-website’s past year of commit activity
    0 2 0 0 Updated Jan 1, 2025
  • nixos-configs Public

    Configurations of NixOS systems at DIKU

    diku-dk/nixos-configs’s past year of commit activity
    Nix 1 1 0 0 Updated Dec 22, 2024
  • hpps-notes Public

    Course notes for HPPS

    diku-dk/hpps-notes’s past year of commit activity
    TeX 4 CC-BY-SA-4.0 1 0 0 Updated Dec 21, 2024
View all repositories