Discover @dixonary Open Source projects

Alex Dixon (@dixonary)

dixonary

Stars
338
Global Rank 80,835 (Top 3 %)
Followers 68
Following 7
Registered over 10 years ago
Most used languages

Haskell
46.4 %

C++
14.3 %

JavaScript
10.7 %

Rust
3.6 %

C#
3.6 %

Haxe 3.6 %

Vim Script
3.6 %

Jupyter Notebook
3.6 %

HTML
3.6 %

TypeScript
3.6 %

Java
3.6 %
Location 🇬🇧 United Kingdom
Country Total Rank 3,986
Country Ranking

Haxe 47

Vim Script
53

Haskell
126

C++
258

Rust
1,393

HTML
3,147

JavaScript
5,363

C#
5,481

Jupyter Notebook
5,523

TypeScript
6,369

Java
8,332

draft-reMarkable

A launcher for the reMarkable tablet, which wraps around the standard interface.

fingerterm-reMarkable

A build of fingerterm, modified to draw more nicely on the reMarkable ePaper device.

vimty

A vim typewriter

hove-letter

An implementation of the game Love Letter in the terminal, written in Haskell.

button-capture-reMarkable

A simple program to capture gpio button input on the reMarkable.

vino

A JavaScript visual novel engine.

microcosmos

swipe-capture-reMarkable

A simple program to report left and right swipes as left and right button presses on the reMarkable.

flagon

A 5E-style document formatting and editing tool.

plain-words

ocean-sample

kosaraju

Haskell implementation of Kosaraju's decision procedure for reachability on Vector Addition Systems with States (VASS).

karp-miller

An implementation of the Karp-Miller coverability tree algorithm in Haskell

eurovision-bot

rM-inspirobot

Inspirational quotes on your lock screen.

hake

Snake implemented in Haskell with GLOSS and ALUT

hatch

Framework code for the introductory FP workshop.

amphi-frontend

Firebase implementation of a watch-along music server.

duvet

A comparative checking framework for VASS coverability solvers.

oeis

An executable program for retrieving data from OEIS.

aoc-2018

Advent of code 2018 (Haskell)

cs261

Software Engineering Group 16

obs-source-controller

A tiny program for showing and hiding OBS sources, using the websocket plugin.

spies

laser-eye-surgery

A game made with Unity in 48 hours for Global Game Jam, using the Tobii EyeX Eye Tracker

aoc-2022

cusp-data-dive

Jupyter Notebook

aoc-2021

Solutions to Advent of Code 2021 in Haskell.

infinite-jest

A mod for infinite-craft that adds multiplayer lockout / bingo gameplay.