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 243 repositories
  • futhark Public

    💥💻💥 A data-parallel functional programming language

    diku-dk/futhark's past year of commit activity
    Haskell 2,812 ISC 211 64 (4 issues need help) 7 Updated Oct 16, 2026
  • qpp Public

    The Quantum Programming Playground

    diku-dk/qpp's past year of commit activity
    Haskell 0 GPL-3.0 0 0 0 Updated Oct 16, 2026
  • ap-notes Public

    Course notes for AP

    diku-dk/ap-notes's past year of commit activity
    Haskell 6 1 0 0 Updated Oct 16, 2026
  • futhark-docbot Public

    Maintains documentation archives for Futhark packages

    diku-dk/futhark-docbot's past year of commit activity
    Go 5 2 0 0 Updated Oct 16, 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 16, 2026
  • futhark-mode Public

    Emacs major mode for editing Futhark programs

    diku-dk/futhark-mode's past year of commit activity
    Emacs Lisp 15 ISC 1 1 0 Updated Oct 16, 2026
  • futhark-data Public

    Futhark data in Futhark

    diku-dk/futhark-data's past year of commit activity
    Futhark 0 0 0 0 Updated Oct 15, 2026
  • 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
  • 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
View all repositories

Top languages

Loading…

Most used topics

Loading…