Pinned Repositories
a000127
A python script that calculates OEIS sequence A000127
iaspis
A typing-game I wrote for my little brother
ic
Conway's Game of Life in the Idris2 programming language
neor
An Angular-based todolist I wrote for myself, to test out writing in Angular.
pzx
A command-line utility for expanding its limited langauge into ncurses commands
resgen
A shell script to generate a resume using groff
stroopwafel
A terminal program that runs a Stroop effect test (which works as a rough measure of self-control)
tickler
POSIX-compliant shell program to display today's tickler file as according to David Allen's GTD
tzcalc
Used for calculating the best mutual meeting time for a group of people in different timezones.
wikidict
A program that generates a dictionary from various Wikipedia articles
arawnx's Repositories
arawnx/a000127
A python script that calculates OEIS sequence A000127
arawnx/iaspis
A typing-game I wrote for my little brother
arawnx/ic
Conway's Game of Life in the Idris2 programming language
arawnx/neor
An Angular-based todolist I wrote for myself, to test out writing in Angular.
arawnx/pzx
A command-line utility for expanding its limited langauge into ncurses commands
arawnx/resgen
A shell script to generate a resume using groff
arawnx/stroopwafel
A terminal program that runs a Stroop effect test (which works as a rough measure of self-control)
arawnx/tickler
POSIX-compliant shell program to display today's tickler file as according to David Allen's GTD
arawnx/tzcalc
Used for calculating the best mutual meeting time for a group of people in different timezones.
arawnx/wikidict
A program that generates a dictionary from various Wikipedia articles