Discover diku-dk/sml-random Open Source project by DIKU (@diku-dk)

Generic package manager for Standard ML libraries and programs

2,398

smlpkg

Parallel Programming in Futhark

162

futhark-book

A dataset and python-based pipeline for "An open-access dataset and nearly-automated pipeline for generating finite element models of human jaw".

Open-Full-Jaw

Jupyter Notebook

futhark-benchmarks

Various Futhark benchmark programs

GPU Implementation for BFAST

bfast

Public repository for Advanced Programming

ap-e2024-pub

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

diku-canvas

Snapper-Orleans

Port of Snapper library on Orleans

futhark-with-fangs

The web framework nobody asked for, wants, or needs.

Data Parallel Programming

dpp-e2021-pub

Library for writing interactive and visual Futhark programs 💥 🎨 🎮 💥

lys

howto

How do I DIKU? How indeed.

TeX

libhip

LibHip: An Open-Access Hip Joint Model Repository suitable for Finite Element Method Simulation

Jupyter Notebook

hpps-e2022-pub

Public repository for HPPS 2022

hpps-e2023-pub

Public repository for the 2023 edition of HPPS

hpps-e2021-pub

Public repository for the HPPS course

linalg

Linear algebra package for Futhark

pmph-e2024-pub

Parallel Functional Programming, 2020

pfp-e2020-pub

Public repository for the 2019 Parallel Functional Programming course at DIKU

pfp-e2019-pub

Guides and guidelines for software development course

su-guides

Signature documentation tool for Standard ML

DIKUArcade

sigdoc

Web server infrastructure for Standard ML

sml-server

DIKU Support Tools for Canvas LMS

staffeli

Standard ML Parser Combinator Library

sml-parse

Data Parallel Programming, the 2022 edition

hpps-e2020-pub

dpp-e2022-pub

VS Code extension for Futhark

futhark-vscode

TypeScript

dpp-e2023-pub

Repository for the DPP'23 course

Cuda

pmph-e2020-pub

PMPH course 2020 public repo

Notes, examples, and general work on automatic differentiation and probabilistic programming

futhark-ad

Jupyter Notebook

sml-http

HTTP utility library for Standard ML

This repository contains code for refractive structure-from-motion

RefractiveSfM

MATLAB

smlfut

Call Futhark programs from Standard ML

Git repository containing the Futhark website.

futhark-website

Signal Processing with Recurrent Neural Networks in TensorFlow

rnn-tutorial

Code for reducing annotation need in self-explanatory models

credanno

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

img-util-fs

sparse

Futhark sparse matrix operations

AutoJawSegment

futhark-playground

statistics

Statistics Library for Futhark

Implementation of the Futhark server protocol in Standard ML

futhark-server-sml

Software modules for modelling and simulation

RAINBOW

pmph-e2023-pub

Futhark performance in F# projects

fshark

sml-sobol

Standard ML library for Sobol sequences

Source code for "Beating Stochastic and Adversarial Semi-bandits Optimally and Simultaneously"

CombSemiBandits

Sorting implementations in Futhark

sorts

Python implementation of the Futhark data format.

futhark-data-python

Benchmark suite for our PLDI'17 paper.

futhark-pldi17

fft

Fast Fourier Transforms in Futhark

This is the repository for the course PMPH, edition 2022-2023

pmph-e2022-pub

Standard ML package for JSON parsing and printing

sml-json

Slides for the PLTC infoscreen

pltc-infoscreen

JavaScript

smlfmt.el

Emacs minor mode for running smlfmt

Emacs Lisp

alpacc

Emacs major mode for editing Futhark programs

futhark-mode

Emacs Lisp

MarketplaceOnOrleans

Marketplace on Orleans

wiki

Shell

sml-regexp

Standard ML package for regular expressions

Artifact for the SC20 paper.

futhark-sc20

RenalVesselSeg

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

ComputerGrafikProjektStudents

Standard ML library for catenable strings

sml-cstring

Command line option parsing for Standard ML

sml-getopt

Futhark optimisation package

optimise

caddie

futhark-ci

sml-pretty

Prettyprinter based on KFL's SML port of Wadler's printer

Experimenting with Futhark programming style

edda

Action for installing MLKit

install-mlkit

Driver for Online Marketplace Microservice Benchmark

EventBenchmark

pmph-e2021-pub

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

A Futhark library with data structures.

containers

Irregular segmented operations implemented in Futhark

segmented

Maintains documentation archives for Futhark packages

futhark-docbot

futhark-server-haskell

Haskell implementation of the Futhark server protocol

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

futhark-ppopp19

ad-spatial-search

Action for installing Futhark

install-futhark

sml-pickle

Standard ML package for serialisation and deserialisation

pltc

futhark-repl

dpp-e2024-pub

Course website for Data Parallel Programming at DIKU

futhark-benchmark-dashboard

Visualisation of Futhark benchmark runtimes over time

JavaScript

futhark-icfp18

Public artifact for ICFP'18 paper on Futhark modules

Coq

sml-unicode

SML Unicode Library

Online public teaching material for courses on computational methods in simulation

cmis-online

futhark-presents

Futhark presents!

RenalArterialRecon

Crude cellular automaton visualiser that runs in the terminal

liv

Sobol library for Futhark

sobol

Course notes for the High Performance Programming and Systems course at DIKU

hpps-course-notes

complex

Complex number library for Futhark

Guides for CSharp, NUnit, report writing, and anything otherwise related to su18.

su18-guides

Standard ML APL Parser Library

sml-aplparse

100

su21-guides