Discover @athas Open Source projects

Troels Henriksen (@athas)

athas

Stars
537
Global Rank 54,234 (Top 2 %)
Followers 288
Following 41
Registered almost 16 years ago
Most used languages

Futhark 29.2 %

Haskell
27.1 %

Python
12.5 %

C
10.4 %

Shell
6.3 %

Emacs Lisp
4.2 %

Java
2.1 %

TeX
2.1 %

Standard ML 2.1 %

Nix
2.1 %

JavaScript
2.1 %
Location 🇩🇰 Denmark
Country Total Rank 270
Country Ranking

Futhark 1

Standard ML 10

Haskell
12

Nix
21

Emacs Lisp
23

Shell
59

C
137

TeX
201

Python
312

JavaScript
653

Java
1,077

raytracers

Performance comparison of parallel ray tracing in functional programming languages

EggsML

A fully fledged and highly scalable lunch management system for the modern enterprise

diving-beet

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

raytracinginoneweekendinfuthark

Ray Tracing in One Weekend in Futhark

spt-gro

Tredjepartsimplementering af GRO-filformatet

raytracingthenextweekinfuthark

A Futhark implementation of Ray Tracing: the Next Week

aoc22

Advent of Futhark

sigkill.dk

The sigkill.dk web site (without static files)

futball

You are trapped on an infinite tile floor along with murderous marbles

ucph.dk

👍 👊 Gitgrube for ucph.dk

gsmenu

A visual generic menu program.

tinykaboom

A port of KABOOM! from C++ to Futhark

Sindre

An Awk-inspired programming language for writing simple GUIs

insitu

Tool enabling shell commands to modify files in-place

config

A repository containing all my configuration files

aoc18

A parallel Christmas

matte

A colour and display library for Futhark

getflag

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

mimir

An extensible IRC bot written in shell script

vector

Futhark vectors with statically known size

Grani

Yet another Webkit-based browser

twelfppr

A tool for prettyprinting Twelf code

statml

futhark-wc

Massively parallel word counting

scripts

Small utility scripts others might find useful or educational

sysdesign

You really do not care.

webanalyzer

Website text readability analyzer implemented in SML

icfp2012

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

autocomf

distance

Distance measures in Futhark based on SciPy

dotfiles

Dotfiles for use with GNU stow

MemberListList

Lists members of a Mailman list

fut-baz

A futhark-pkg test repository

parco

General parser combinators for Haskell

topics-report

Report for the course Topics in Programming Languages

reversible-paper

Workshop paper for the Topics in Programming Languages course at DIKU

phd-thesis

abelian-sandpile

An Abelian Sandpile implemented in Futhark

permute

Generalised permutation parsing for Haskell

futhark-cool-sdf

Playing around with SDFs

X11-altxft

Robust Haskell bindings to the Xft library

X11-rm

A Haskell interface to the resource management facilities in Xlib

clustertoy

Visualising k-means

fibs

Fibonacci numbers in Futhark

advalgo

galapagos

Answer to the OOPD exam task from 2006 at DIKU

artistry

Artistic hacks and experiments: http://spectacularbits.dk/

streak

A commit a day keeps the streak green

monad-par-edi

EDI backend for monad-par

sandstorm

Possibly a game one day