dylan-thinnes
I like birds, learning programming languages, and computers from type theory down to digital circuitry. Graduate of 1583 (University of Edinburgh).
Edinburgh, Scotland
Pinned Repositories
babys-first-sim
A rudimentary combinatorial circuit simulator.
conway-wechsler
Convert numbers into their Conway-Wechsler form - Command-line utility & website (using wasm)
lambda-calculus
Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)
multifuck
Brainfuck, with extensions as I think of them. So far: threading, multidimensional memory
present
presentation system for bash - along with sample presentation on bash
register-machine
Implementation of register machines, with extensible intruction set, macros, and assembly. WIP.
simpler-slide-rules
Trying to minimize the featureset of slide-rules-generator into something easier to introduce to end-users but ultimately less powerful
slide-rules-generator
A library for generating slide rules using Haskell and `diagrams`.
solsys
Solsys at https://solsys.xyz is a prime factorizing solar system generator.
stepper-interpreter
A stepper-interpreter for the Haskell programming language
dylan-thinnes's Repositories
dylan-thinnes/slide-rules-generator
A library for generating slide rules using Haskell and `diagrams`.
dylan-thinnes/bus-times-display
Displays the bus times. Flask reverse proxy, VueJS renderer, simple X server xinit config.
dylan-thinnes/aoc-2022
dylan-thinnes/ada-lovelace-portrait
Project to create a punchcard-styled portrait of Ada Lovelace
dylan-thinnes/ansi-positioning
Langton's ant and Conway's Game of Life using ANSI escape characters to position cursor directly at target position.
dylan-thinnes/aoc-2023
dylan-thinnes/archimedean-solid-joints
Automatically calculates the vectors for the sides of archimedean solids & generates a corresponding joint in OpenSCAD
dylan-thinnes/company-fork
Company documentation for Edinburgh Hacklab
dylan-thinnes/ebay-scanner
dylan-thinnes/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
dylan-thinnes/fbdev-draw
A toy for drawing simple primitives to /dev/fb0
dylan-thinnes/flora-server
A package index for the Haskell ecosystem
dylan-thinnes/golly-sign-generator
given a matrix of rgb/cmyk values, generates a glider image that life-framebuffer can run
dylan-thinnes/hacklab-status-screen
Essentially a fancy Pi-based web kiosk. Supersedes the hacklab bus timetable.
dylan-thinnes/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
dylan-thinnes/hershey
Read in Hershey as encoded by Paul Bourke in https://paulbourke.net/dataformats/hershey/, render it as diagrams
dylan-thinnes/j-toy-programs
Toy programs written in the J programming language
dylan-thinnes/jq-banking
Utils & jq scripts for analysis of my bank statements
dylan-thinnes/keith
make keith numbers & primevals
dylan-thinnes/life-framebuffer
Experiments with turning /dev/fb0 to game of life and back
dylan-thinnes/megacal
A big calendar. For all your end-of-century needs.
dylan-thinnes/more-j-scripts
dylan-thinnes/more-simple-sliderules
Another simple slide rule generator library. This one tries to really limit itself to only inventing the minimal abstraction when the need arises.
dylan-thinnes/pant
Pant is Paint but (u)nimproved
dylan-thinnes/password-game-tas
tool assisted speedrun of password game
dylan-thinnes/rainbow-awk
Rainbowify some text with AWK
dylan-thinnes/recurrence-relations
miron nerd sniped me into doing this
dylan-thinnes/restore-vim-sessions
A simple session tracking vim script.
dylan-thinnes/rubiks-cube
rubiks cube in CSS3, simple as pie
dylan-thinnes/thud
Just a thud website for Taiga's Japanese needs.