[go: up one dir, main page]
Skip to content
@diku-dk

DIKU

Department of Computer Science at the University of Copenhagen

Pinned

  1. futhark futhark Public

    💥💻💥 A data-parallel functional programming language

    Haskell 2.4k 165

  2. smlpkg smlpkg Public

    Generic package manager for Standard ML libraries and programs

    Standard ML 161 4

  3. howto howto Public

    How do I DIKU? How indeed.

    TeX 21 2

Repositories

Showing 10 of 194 repositories
  • futhark Public

    💥💻💥 A data-parallel functional programming language

    diku-dk/futhark’s past year of commit activity
    Haskell 2,361 ISC 165 63 (6 issues need help) 6 Updated Aug 26, 2024
  • pltc-infoscreen Public

    Slides for the PLTC infoscreen

    diku-dk/pltc-infoscreen’s past year of commit activity
    JavaScript 6 1 0 0 Updated Aug 26, 2024
  • ap-e2024-pub Public

    Public repository for Advanced Programming

    diku-dk/ap-e2024-pub’s past year of commit activity
    Haskell 32 1 0 0 Updated Aug 25, 2024
  • ap-notes Public

    Course notes for AP

    diku-dk/ap-notes’s past year of commit activity
    Haskell 2 0 0 0 Updated Aug 25, 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 Aug 24, 2024
  • CFAL-bench Public
    diku-dk/CFAL-bench’s past year of commit activity
    Python 2 0 0 0 Updated Aug 24, 2024
  • alpacc Public
    diku-dk/alpacc’s past year of commit activity
    Haskell 6 MIT 0 5 0 Updated Aug 23, 2024
  • RefractiveSfM Public

    This repository contains code for refractive structure-from-motion

    diku-dk/RefractiveSfM’s past year of commit activity
    MATLAB 10 Apache-2.0 3 2 0 Updated Aug 23, 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 Aug 22, 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 Aug 21, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…