DIKU (@diku-dk)

Top repositories

1

futhark

💥💻💥 A data-parallel functional programming language
Haskell
2,398
star
2

smlpkg

Generic package manager for Standard ML libraries and programs
Standard ML
162
star
3

futhark-book

Parallel Programming in Futhark
Futhark
48
star
4

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".
Jupyter Notebook
39
star
5

futhark-benchmarks

Various Futhark benchmark programs
Futhark
38
star
6

bfast

GPU Implementation for BFAST
Python
37
star
7

ap-e2024-pub

Public repository for Advanced Programming
Haskell
36
star
8

diku-canvas

Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)
F#
25
star
9

Snapper-Orleans

Port of Snapper library on Orleans
C#
24
star
10

futhark-with-fangs

The web framework nobody asked for, wants, or needs.
Python
22
star
11

dpp-e2021-pub

Data Parallel Programming
Futhark
22
star
12

lys

Library for writing interactive and visual Futhark programs 💥 🎨 🎮 💥
C
22
star
13

howto

How do I DIKU? How indeed.
TeX
21
star
14

libhip

LibHip: An Open-Access Hip Joint Model Repository suitable for Finite Element Method Simulation
Jupyter Notebook
20
star
15

hpps-e2022-pub

Public repository for HPPS 2022
C
20
star
16

hpps-e2023-pub

Public repository for the 2023 edition of HPPS
C
19
star
17

hpps-e2021-pub

Public repository for the HPPS course
C
17
star
18

linalg

Linear algebra package for Futhark
Futhark
17
star
19

pmph-e2024-pub

Futhark
16
star
20

pfp-e2020-pub

Parallel Functional Programming, 2020
Futhark
15
star
21

pfp-e2019-pub

Public repository for the 2019 Parallel Functional Programming course at DIKU
Haskell
14
star
22

su-guides

Guides and guidelines for software development course
Python
14
star
23

DIKUArcade

C#
14
star
24

sigdoc

Signature documentation tool for Standard ML
Standard ML
14
star
25

sml-server

Web server infrastructure for Standard ML
Standard ML
13
star
26

staffeli

DIKU Support Tools for Canvas LMS
Python
13
star
27

sml-parse

Standard ML Parser Combinator Library
Standard ML
13
star
28

hpps-e2020-pub

C
12
star
29

dpp-e2022-pub

Data Parallel Programming, the 2022 edition
C++
12
star
30

futhark-vscode

VS Code extension for Futhark
TypeScript
12
star
31

dpp-e2023-pub

Repository for the DPP'23 course
Cuda
11
star
32

pmph-e2020-pub

PMPH course 2020 public repo
C++
11
star
33

futhark-ad

Notes, examples, and general work on automatic differentiation and probabilistic programming
Jupyter Notebook
11
star
34

sml-http

HTTP utility library for Standard ML
Standard ML
11
star
35

RefractiveSfM

This repository contains code for refractive structure-from-motion
MATLAB
10
star
36

smlfut

Call Futhark programs from Standard ML
Standard ML
10
star
37

futhark-website

Git repository containing the Futhark website.
Futhark
10
star
38

rnn-tutorial

Signal Processing with Recurrent Neural Networks in TensorFlow
Python
9
star
39

credanno

Code for reducing annotation need in self-explanatory models
Python
9
star
40

img-util-fs

Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)
F#
9
star
41

sparse

Futhark sparse matrix operations
Futhark
8
star
42

AutoJawSegment

Python
8
star
43

futhark-playground

Futhark playground
JavaScript
8
star
44

statistics

Statistics Library for Futhark
Futhark
8
star
45

futhark-server-sml

Implementation of the Futhark server protocol in Standard ML
Standard ML
8
star
46

RAINBOW

Software modules for modelling and simulation
Python
8
star
47

pmph-e2023-pub

Futhark
7
star
48

fshark

Futhark performance in F# projects
F#
7
star
49

sml-sobol

Standard ML library for Sobol sequences
Standard ML
7
star
50

CombSemiBandits

Source code for "Beating Stochastic and Adversarial Semi-bandits Optimally and Simultaneously"
Python
7
star
51

sorts

Sorting implementations in Futhark
Futhark
7
star
52

futhark-data-python

Python implementation of the Futhark data format.
Python
7
star
53

futhark-pldi17

Benchmark suite for our PLDI'17 paper.
C
7
star
54

fft

Fast Fourier Transforms in Futhark
Futhark
7
star
55

pmph-e2022-pub

This is the repository for the course PMPH, edition 2022-2023
Futhark
6
star
56

sml-json

Standard ML package for JSON parsing and printing
Standard ML
6
star
57

pltc-infoscreen

Slides for the PLTC infoscreen
JavaScript
6
star
58

smlfmt.el

Emacs minor mode for running smlfmt
Emacs Lisp
6
star
59

alpacc

Haskell
6
star
60

futhark-mode

Emacs major mode for editing Futhark programs
Emacs Lisp
6
star
61

MarketplaceOnOrleans

Marketplace on Orleans
C#
6
star
62

wiki

Shell
6
star
63

sml-regexp

Standard ML package for regular expressions
Standard ML
6
star
64

futhark-sc20

Artifact for the SC20 paper.
C++
6
star
65

RenalVesselSeg

Python
6
star
66

ComputerGrafikProjektStudents

Student version of framework for solving assignments on the computer graphics course offered by department of computer science university of copenhagen. Copyright Knud & Kenny, 2019
C++
5
star
67

sml-cstring

Standard ML library for catenable strings
Standard ML
5
star
68

sml-getopt

Command line option parsing for Standard ML
Standard ML
5
star
69

optimise

Futhark optimisation package
Futhark
5
star
70

caddie

Standard ML
5
star
71

futhark-ci

CI tool for Futhark
Python
5
star
72

sml-pretty

Prettyprinter based on KFL's SML port of Wadler's printer
Standard ML
5
star
73

edda

Experimenting with Futhark programming style
Futhark
5
star
74

install-mlkit

Action for installing MLKit
Standard ML
5
star
75

EventBenchmark

Driver for Online Marketplace Microservice Benchmark
C#
5
star
76

pmph-e2021-pub

This is the public repository for the PMPH course hold in the academic year 2021-22 at DIKU, KU.
Futhark
5
star
77

containers

A Futhark library with data structures.
Futhark
4
star
78

segmented

Irregular segmented operations implemented in Futhark
Futhark
4
star
79

futhark-docbot

Maintains documentation archives for Futhark packages
Go
4
star
80

futhark-server-haskell

Haskell implementation of the Futhark server protocol
Haskell
4
star
81

futhark-ppopp19

Experimental infrastructure for the paper "Incremental Flattening for Nested Data Parallelism" at PPOPP'19.
C
4
star
82

ad-spatial-search

Futhark
4
star
83

install-futhark

Action for installing Futhark
4
star
84

sml-pickle

Standard ML package for serialisation and deserialisation
Standard ML
4
star
85

pltc

Unofficial website
4
star
86

futhark-repl

Online Futhark REPL
Python
4
star
87

dpp-e2024-pub

Course website for Data Parallel Programming at DIKU
4
star
88

sml-random

Standard ML library for generating random numbers
Standard ML
4
star
89

futhark-benchmark-dashboard

Visualisation of Futhark benchmark runtimes over time
JavaScript
4
star
90

futhark-icfp18

Public artifact for ICFP'18 paper on Futhark modules
Coq
4
star
91

sml-unicode

SML Unicode Library
Standard ML
4
star
92

cmis-online

Online public teaching material for courses on computational methods in simulation
4
star
93

futhark-presents

Futhark presents!
Futhark
3
star
94

RenalArterialRecon

Python
3
star
95

liv

Crude cellular automaton visualiser that runs in the terminal
Futhark
3
star
96

sobol

Sobol library for Futhark
Futhark
3
star
97

hpps-course-notes

Course notes for the High Performance Programming and Systems course at DIKU
C
3
star
98

complex

Complex number library for Futhark
Futhark
3
star
99

su18-guides

Guides for CSharp, NUnit, report writing, and anything otherwise related to su18.
Python
3
star
100

sml-aplparse

Standard ML APL Parser Library
Standard ML
3
star