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 162 5

  3. howto howto Public

    How do I DIKU? How indeed.

    TeX 22 2

Repositories

Showing 10 of 211 repositories
  • atpl-sml-quantum Public

    Quantum Circuits and Simulation in Standard ML for the ATPL MSc Course

    diku-dk/atpl-sml-quantum’s past year of commit activity
    Standard ML 0 MIT 0 0 0 Updated Nov 23, 2024
  • futhark Public

    💥💻💥 A data-parallel functional programming language

    diku-dk/futhark’s past year of commit activity
    Haskell 2,409 ISC 166 61 (5 issues need help) 6 Updated Nov 23, 2024
  • diku-dk/CFAL-bench’s past year of commit activity
    Python 2 1 0 0 Updated Nov 22, 2024
  • sml-complex Public

    Standard ML complex number library

    diku-dk/sml-complex’s past year of commit activity
    Standard ML 3 ISC 0 0 0 Updated Nov 22, 2024
  • alpacc Public
    diku-dk/alpacc’s past year of commit activity
    Haskell 6 MIT 0 5 0 Updated Nov 22, 2024
  • dpp-e2024-pub Public

    Course website for Data Parallel Programming at DIKU

    diku-dk/dpp-e2024-pub’s past year of commit activity
    8 1 0 0 Updated Nov 22, 2024
  • howto Public

    How do I DIKU? How indeed.

    diku-dk/howto’s past year of commit activity
    TeX 22 2 0 0 Updated Nov 21, 2024
  • hpps-e2024-pub Public

    Public repository for HPPS

    diku-dk/hpps-e2024-pub’s past year of commit activity
    C 7 0 0 0 Updated Nov 21, 2024
  • hpps-notes Public

    Course notes for HPPS

    diku-dk/hpps-notes’s past year of commit activity
    TeX 3 CC-BY-SA-4.0 1 0 0 Updated Nov 21, 2024
  • futhark-book Public

    Parallel Programming in Futhark

    diku-dk/futhark-book’s past year of commit activity
    Futhark 48 11 3 0 Updated Nov 20, 2024

Top languages

Loading…

Most used topics

Loading…