Ha.nnes.dev

Projects

My Website

The source code to generate my static website using Gatsby.js

2024-09-07

Roc Turtle

2024-09-04

My CV

The raw markdown for my CV

2024-07-26

Roc Math(s)

Mathematical functions and constants in Roc

2024-07-25

Roc ASCII

ASCII string and character types for Roc

2024-07-24

setup-roc

A GitHub Action to install Roc

2024-07-16

Roc Packages

An unofficial package website for Roc

2024-07-15

Roc Linear Algebra

Linear algebra library for small vectors and matrices in Roc

2024-07-02

Roc Units

Type-safe units of measure in Roc

2024-05-21

Roc HTML

A library to create HTML in Roc

2024-05-15

Roc SVG

A library to create SVGs in Roc

2024-04-16

Roc DateTimes

A work in progress Roc library for working with dates and times

2024-04-08

DataSkimmer.jl

A Julia package that summarises tabular data in the REPL

2024-02-16

Roc Fortune

A replacement for the fortune UNIX command in Roc

2024-01-17

Version

The blazing fast way to check what version of grep you're using, written in Rust

2023-10-27

My .dotfiles

A quick way to restore many of my settings on a new computer

2023-09-05

pre-commit-roc

Pre-commit hooks for the Roc language

2023-07-17

bundle-roc-library

A GitHub Action to bundle and release a Roc library

2023-07-14

Roc Hex

A Roc library to convert to and from hexadecimal integers

2023-07-08

Slack Archiver

A tool to archive Slack links

2023-07-02

Roc Colours

Colours in Roc

2023-06-15

AIalogue

Generate simple dialogues for learners of English as a second language that contain specific keywords

2023-03-14

Dissertation

My Master's dissertation on interpretable machine learning

2020-08-02

Circle Factoring

A way of representing the natural numbers as non-overlapping circles using Processing 3

2020-08-02

Littlewood

Plotting the roots of monic Littlewood polynomials in MATLAB

2020-08-02

Stuff I like About Julia

The Jupyter notebook for a presentation I gave at work about Julia

2020-07-26

Shiny Baby Names

An RShiny app for visualising the popularity of baby names over time

2019-06-11