DIKU

Department of Computer Science at the University of Copenhagen

Copenhagen, Denmark

Pinned Repositories

ap-e2024-pub
Public repository for Advanced Programming
Language:Haskell5928
bfast
GPU Implementation for BFAST
Language:Python37 7 3217
diku-canvas
Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)
Language:F#25 8 229
futhark
:boom::computer::boom: A data-parallel functional programming language
Language:Haskell2.4k 66 1.4k165
futhark-benchmarks
Various Futhark benchmark programs
Language:Futhark40 20 387
futhark-book
Parallel Programming in Futhark
Language:Futhark48 16 1111
howto
How do I DIKU? How indeed.
Language:TeX22 78 12
Open-Full-Jaw
A dataset and python-based pipeline for "An open-access dataset and nearly-automated pipeline for generating finite element models of human jaw".
Language:Jupyter Notebook41 8 19
smlpkg
Generic package manager for Standard ML libraries and programs
Language:Standard ML161 9 45
Snapper-Orleans
Port of Snapper library on Orleans
Language:C#25 10 95

DIKU's Repositories

diku-dk/Snapper-Orleans
Port of Snapper library on Orleans
Language:C#25 10 95
diku-dk/lys
Library for writing interactive and visual Futhark programs :boom: :art: :video_game: :boom:
Language:C22 16 72
diku-dk/linalg
Linear algebra package for Futhark
Language:Futhark17 8 54
diku-dk/DIKUArcade
Language:C#14 13 3227
diku-dk/su-guides
Guides and guidelines for software development course
Language:Python14 10 58
diku-dk/futhark-ad
Notes, examples, and general work on automatic differentiation and probabilistic programming
Language:Jupyter Notebook11 19 01
diku-dk/RefractiveSfM
This repository contains code for refractive structure-from-motion
Language:MATLAB10 6 13
diku-dk/sparse
Futhark sparse matrix operations
Language:Futhark8 8 11
diku-dk/sorts
Sorting implementations in Futhark
Language:Futhark7 15 23
diku-dk/complex
Complex number library for Futhark
Language:Futhark4 17 05
diku-dk/futhark-docbot
Maintains documentation archives for Futhark packages
Language:Go4 18 22
diku-dk/futhark-server-haskell
Haskell implementation of the Futhark server protocol
Language:Haskell4 8 01
diku-dk/esml
Earth System Modeling Language
Language:Python3 8 0
diku-dk/sobol
Sobol library for Futhark
Language:Futhark3 7 01
diku-dk/SysDev
Repository for the Systems Development course at Copenhagen University
32
diku-dk/CompSim
Online public teaching material for courses on computational methods in simulation
2
diku-dk/futhark-ad-sc22
Artifact for the Futhark AD submission to SC22
Language:Objective-J2 6 9
diku-dk/futhark-data-haskell
Implementation of the Futhark data format in Haskell
Language:Haskell2 6 0
diku-dk/futhark-manifest-haskell
Haskell library for reading and writing Futhark manifest files
Language:Haskell2 7 0
diku-dk/futhark-mem-sc22
Artifact for the Futhark memory-optimization submission for SC22
Language:C2
diku-dk/stream-constraints
Enforcing event constraints on top of Kafka Streams
Language:Java21
diku-dk/sturluson
The inimitable Futhark chat bot
Language:Shell2 7 0
diku-dk/futhark-array19
Experimental repository for ARRAY '19 submission
Language:Python11
diku-dk/futhark-buildbot
The Futhark buildbot configuration
Language:Python1
diku-dk/sve
Haskell implementation of the Successive Variable Elimination algorithm
Language:Haskell1
diku-dk/ADBench
Benchmarking various AD tools.
Language:C++6 0
diku-dk/eShopOnContainers
Forked eShopOnContainers for playground and prototyping
diku-dk/niv
Easy dependency management for Nix projects
diku-dk/rars
RARS -- RISC-V Assembler and Runtime Simulator
diku-dk/riscv-mode
Major mode for RISC V assembly
Language:Emacs Lisp