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/multifuck
Brainfuck, with extensions as I think of them. So far: threading, multidimensional memory
dylan-thinnes/conway-wechsler
Convert numbers into their Conway-Wechsler form - Command-line utility & website (using wasm)
dylan-thinnes/aoc-2021
Advent of Code, 2021
dylan-thinnes/clash-pong
Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs
dylan-thinnes/lambda-calculus
Tinkering with Lambda Calculus (Binary representations, DeBruijn indices, Automatic Church encoding)
dylan-thinnes/simpler-slide-rules
Trying to minimize the featureset of slide-rules-generator into something easier to introduce to end-users but ultimately less powerful
dylan-thinnes/stepper-interpreter
A stepper-interpreter for the Haskell programming language
dylan-thinnes/afternoon-lisp
A lisp I threw together over an afternoon, originally looking at SectorLISP
dylan-thinnes/arithmoi-prime-factorize
This is a very simple wrapper around the arithmoi package which provides a prime factorizer.
dylan-thinnes/autopunners
Scripts to automatically make formulaic puns
dylan-thinnes/befunge-transpose
Transpose a befunge program
dylan-thinnes/chunks
Split input on stdin into chunks of n bytes with newline delimiters
dylan-thinnes/clash-shake
dylan-thinnes/clock
The Star Wars Clock
dylan-thinnes/cumulative-sums
Programs to take sums and cumulative sums of newline-delimited integers.
dylan-thinnes/cwd2
Another directory stack utility.
dylan-thinnes/fizzbuzz
A bunch of fizzbuzz implementations in interesting languages that I've thrown together over the years
dylan-thinnes/fungeoid
Currently a befunge interpreter. In the future I may make some extensions that make this my own fungeoid.
dylan-thinnes/keys
keyed functors
dylan-thinnes/me-nix
Gradual reimplementation of `me-four` (my bash + Makefile blog script), this time in Nix!
dylan-thinnes/multifuck-word-generator
Given a string on stdin, outputs the source code for a brainfuck printing the same string on stdout.
dylan-thinnes/of-mice-and-men
dylan-thinnes/owenbot-hs
A utility bot written in Haskell for the Edinburgh Informatics Class of ‘24’s main messaging platform (Discord server).
dylan-thinnes/simple-keys
Derive keys over ADTs using Traversable and Generics. Inspired by ekmett's `keys` library.
dylan-thinnes/simple-msieve
A couple simple wrappers around msieve executable to make it more "shell-friendly"
dylan-thinnes/th-keys
Derive keys over ADTs using TemplateHaskell. Inspired by ekmett's `keys` library.
dylan-thinnes/whatdayisit
dylan-thinnes/window
Sliding windows average change calculator
dylan-thinnes/wordle-frequencies
Awk script for trying to find the best guess words for wordle
dylan-thinnes/x-game-of-life
A simple X window with Conway's Game of Life.