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 166

  2. smlpkg smlpkg Public

    Generic package manager for Standard ML libraries and programs

    Standard ML 160 4

  3. howto howto Public

    How do I DIKU? How indeed.

    TeX 21 2

Repositories

Showing 10 of 191 repositories
  • RAINBOW Public

    Software modules for modelling and simulation

    diku-dk/RAINBOW’s past year of commit activity
    Python 7 MIT 2 6 0 Updated Jul 27, 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 Jul 26, 2024
  • futhark Public

    💥💻💥 A data-parallel functional programming language

    diku-dk/futhark’s past year of commit activity
    Haskell 2,357 ISC 166 62 (6 issues need help) 7 Updated Jul 26, 2024
  • DIKUArcade Public
    diku-dk/DIKUArcade’s past year of commit activity
    C# 13 27 15 (2 issues need help) 2 Updated Jul 23, 2024
  • CFAL-bench Public
    diku-dk/CFAL-bench’s past year of commit activity
    Python 2 0 0 0 Updated Jul 23, 2024
  • futhark-manifest-haskell Public

    Haskell library for reading and writing Futhark manifest files

    diku-dk/futhark-manifest-haskell’s past year of commit activity
    Haskell 2 ISC 0 0 0 Updated Jul 22, 2024
  • ap-e2024-pub Public

    Public repository for Advanced Programming

    diku-dk/ap-e2024-pub’s past year of commit activity
    Nix 16 0 0 0 Updated Jul 21, 2024
  • futhark-oopsla24 Public

    Artifact for the paper AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

    diku-dk/futhark-oopsla24’s past year of commit activity
    Shell 1 ISC 0 0 0 Updated Jul 18, 2024
  • futhark-website Public

    Git repository containing the Futhark website.

    diku-dk/futhark-website’s past year of commit activity
    Futhark 10 13 2 0 Updated Jul 18, 2024
  • futhark-benchmarks Public

    Various Futhark benchmark programs

    diku-dk/futhark-benchmarks’s past year of commit activity
    Futhark 40 7 23 1 Updated Jul 17, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…