Troels Henriksen (@athas)
github

athas

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

raytracers

Performance comparison of parallel ray tracing in functional programming languages
Futhark
303
star
2

EggsML

A fully fledged and highly scalable lunch management system for the modern enterprise
Shell
29
star
3

diving-beet

A port of Falling Turnip from Haskell to Futhark and Go 🚗 💥
Futhark
22
star
4

raytracinginoneweekendinfuthark

Ray Tracing in One Weekend in Futhark
Futhark
17
star
5

spt-gro

Tredjepartsimplementering af GRO-filformatet
Python
17
star
6

raytracingthenextweekinfuthark

A Futhark implementation of Ray Tracing: the Next Week
Futhark
14
star
7

aoc22

Advent of Futhark
Futhark
13
star
8

sigkill.dk

The sigkill.dk web site (without static files)
Haskell
10
star
9

futball

You are trapped on an infinite tile floor along with murderous marbles
Python
9
star
10

ucph.dk

👍 👊 Gitgrube for ucph.dk
JavaScript
8
star
11

gsmenu

A visual generic menu program.
Haskell
7
star
12

tinykaboom

A port of KABOOM! from C++ to Futhark
Futhark
7
star
13

Sindre

An Awk-inspired programming language for writing simple GUIs
Haskell
6
star
14

insitu

Tool enabling shell commands to modify files in-place
C
5
star
15

config

A repository containing all my configuration files
Emacs Lisp
5
star
16

aoc18

A parallel Christmas
Futhark
4
star
17

matte

A colour and display library for Futhark
Futhark
3
star
18

getflag

Plan 9/AT&T Unix/Suckless command flag parsing library for Haskell
Haskell
3
star
19

mimir

An extensible IRC bot written in shell script
Shell
3
star
20

vector

Futhark vectors with statically known size
Futhark
3
star
21

Grani

Yet another Webkit-based browser
C
3
star
22

twelfppr

A tool for prettyprinting Twelf code
Haskell
3
star
23

statml

C
3
star
24

scripts

Small utility scripts others might find useful or educational
Haskell
2
star
25

futhark-wc

Massively parallel word counting
C
2
star
26

sysdesign

You really do not care.
Python
2
star
27

icfp2012

"Solution" to the ICFP 2012 contest by people from DIKU. Seems we're not too good at heuristics.
Haskell
2
star
28

webanalyzer

Website text readability analyzer implemented in SML
Standard ML
2
star
29

autocomf

Nix
2
star
30

distance

Distance measures in Futhark based on SciPy
Futhark
2
star
31

dotfiles

Dotfiles for use with GNU stow
Emacs Lisp
2
star
32

parco

General parser combinators for Haskell
Haskell
1
star
33

MemberListList

Lists members of a Mailman list
Python
1
star
34

fut-baz

A futhark-pkg test repository
1
star
35

abelian-sandpile

An Abelian Sandpile implemented in Futhark
Futhark
1
star
36

topics-report

Report for the course Topics in Programming Languages
Python
1
star
37

reversible-paper

Workshop paper for the Topics in Programming Languages course at DIKU
1
star
38

phd-thesis

TeX
1
star
39

clustertoy

Visualising k-means
Futhark
1
star
40

permute

Generalised permutation parsing for Haskell
Haskell
1
star
41

futhark-cool-sdf

Playing around with SDFs
C
1
star
42

X11-altxft

Robust Haskell bindings to the Xft library
Haskell
1
star
43

X11-rm

A Haskell interface to the resource management facilities in Xlib
Haskell
1
star
44

fibs

Fibonacci numbers in Futhark
Futhark
1
star
45

advalgo

Very boring
Haskell
1
star
46

galapagos

Answer to the OOPD exam task from 2006 at DIKU
Java
1
star
47

artistry

Artistic hacks and experiments: http://spectacularbits.dk/
Python
1
star
48

streak

A commit a day keeps the streak green
Shell
1
star
49

monad-par-edi

EDI backend for monad-par
Haskell
1
star
50

sandstorm

Possibly a game one day
Futhark
1
star