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 164

  2. smlpkg smlpkg Public

    Generic package manager for Standard ML libraries and programs

    Standard ML 161 4

  3. howto howto Public

    How do I DIKU? How indeed.

    TeX 21 2

Repositories

Showing 10 of 199 repositories
  • ap-e2024-pub Public

    Public repository for Advanced Programming

    diku-dk/ap-e2024-pub’s past year of commit activity
    Haskell 54 27 0 0 Updated Sep 15, 2024
  • ap-notes Public

    Course notes for AP

    diku-dk/ap-notes’s past year of commit activity
    Haskell 3 0 0 0 Updated Sep 15, 2024
  • RAINBOW Public

    Software modules for modelling and simulation

    diku-dk/RAINBOW’s past year of commit activity
    Python 8 MIT 2 6 0 Updated Sep 14, 2024
  • EventBenchmark Public

    Driver for Online Marketplace Microservice Benchmark

    diku-dk/EventBenchmark’s past year of commit activity
    C# 5 2 1 0 Updated Sep 14, 2024
  • futhark Public

    💥💻💥 A data-parallel functional programming language

    diku-dk/futhark’s past year of commit activity
    Haskell 2,366 ISC 164 63 (6 issues need help) 7 Updated Sep 14, 2024
  • pmph-e2024-pub Public
    diku-dk/pmph-e2024-pub’s past year of commit activity
    Futhark 16 1 0 0 Updated Sep 12, 2024
  • smlfut Public

    Call Futhark programs from Standard ML

    diku-dk/smlfut’s past year of commit activity
    Standard ML 10 GPL-3.0 1 0 0 Updated Sep 11, 2024
  • sml-parse Public

    Standard ML Parser Combinator Library

    diku-dk/sml-parse’s past year of commit activity
    Standard ML 15 MIT 1 0 0 Updated Sep 10, 2024
  • 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 Sep 10, 2024
  • Dikulabs Public

    all thing related to the labs facilities and the cluster at diku

    diku-dk/Dikulabs’s past year of commit activity
    2 0 1 0 Updated Sep 9, 2024
View all repositories