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.8k 211

  2. smlpkg smlpkg Public

    Generic package manager for Standard ML libraries and programs

    Standard ML 168 7

  3. howto howto Public

    How do I DIKU? How indeed.

    TeX 30 6

  4. dq dq Public

    The DIKU Quantum Simulator Framework

    Standard ML 4 1

Repositories

Showing 10 of 242 repositories
  • futhark-website Public

    Git repository containing the Futhark website.

    diku-dk/futhark-website's past year of commit activity
    Futhark 10 14 1 0 Updated Oct 14, 2026
  • futhark Public

    💥💻💥 A data-parallel functional programming language

    diku-dk/futhark's past year of commit activity
    Haskell 2,809 ISC 211 64 (4 issues need help) 7 Updated Oct 14, 2026
  • 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 Oct 14, 2026
  • futhark-webgpu Public

    Materials and examples for using Futhark with WebGPU

    diku-dk/futhark-webgpu's past year of commit activity
    2 1 5 0 Updated Oct 13, 2026
  • monoidal Public

    Futhark library for composable monoids

    diku-dk/monoidal's past year of commit activity
    Rocq Prover 3 MIT 0 1 0 Updated Oct 12, 2026
  • futhark-benchmarks Public

    Various Futhark benchmark programs

    diku-dk/futhark-benchmarks's past year of commit activity
    Futhark 48 10 19 1 Updated Oct 11, 2026
  • minc Public

    Monoids, incrementally

    diku-dk/minc's past year of commit activity
    Futhark 3 0 0 0 Updated Oct 10, 2026
  • smlfut Public

    Call Futhark programs from Standard ML

    diku-dk/smlfut's past year of commit activity
    Standard ML 12 GPL-3.0 1 0 0 Updated Oct 9, 2026
  • hl-schedule Public

    Richard and Mary's picture idea, work in progress

    diku-dk/hl-schedule's past year of commit activity
    Cuda 0 Apache-2.0 0 1 0 Updated Oct 9, 2026
  • list-ranking Public

    Experiments with list ranking

    diku-dk/list-ranking's past year of commit activity
    Standard ML 0 0 0 0 Updated Oct 8, 2026
View all repositories