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 169

  2. smlpkg smlpkg Public

    Generic package manager for Standard ML libraries and programs

    Standard ML 164 6

  3. howto howto Public

    How do I DIKU? How indeed.

    TeX 24 2

Repositories

Showing 10 of 212 repositories
  • linalg Public

    Linear algebra package for Futhark

    diku-dk/linalg’s past year of commit activity
    Futhark 17 ISC 4 2 0 Updated Jan 9, 2025
  • futhark Public

    💥💻💥 A data-parallel functional programming language

    diku-dk/futhark’s past year of commit activity
    Haskell 2,448 ISC 169 61 (5 issues need help) 6 Updated Jan 9, 2025
  • complex Public

    Complex number library for Futhark

    diku-dk/complex’s past year of commit activity
    Futhark 4 ISC 5 0 0 Updated Jan 9, 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 9, 2025
  • CFAL-bench Public
    diku-dk/CFAL-bench’s past year of commit activity
    Python 2 1 0 0 Updated Jan 8, 2025
  • containers Public

    A Futhark library with data structures.

    diku-dk/containers’s past year of commit activity
    Futhark 4 ISC 1 0 0 Updated Jan 8, 2025
  • howto Public

    How do I DIKU? How indeed.

    diku-dk/howto’s past year of commit activity
    TeX 24 2 0 0 Updated Jan 7, 2025
  • RAINBOW Public

    Software modules for modelling and simulation

    diku-dk/RAINBOW’s past year of commit activity
    Python 9 MIT 2 6 0 Updated Jan 6, 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
View all repositories

Top languages

Loading…

Most used topics

Loading…