Pinned Repositories
aoc2020
Solutions for Advent of Code 2020
aoc2021
Solutions for Advent of Code 2021
aoc2022-haskell
aoc2022-rust
aoc2023
Solutions for Advent of Code 2023
crorse
dotfiles
probably usable
hchess
shaunlib
Library for writing Discord bots
shaunwhite
Discord bot
typesafety's Repositories
typesafety/aoc2021
Solutions for Advent of Code 2021
typesafety/aoc2020
Solutions for Advent of Code 2020
typesafety/aoc2023
Solutions for Advent of Code 2023
typesafety/aoc2022-haskell
typesafety/hchess
typesafety/aoc2022-rust
typesafety/crorse
typesafety/dotfiles
probably usable
typesafety/shaunlib
Library for writing Discord bots
typesafety/shaunwhite
Discord bot
typesafety/typesafety.github.io
typesafety/aoc2019
Advent of Code 2019 solutions
typesafety/aoc_table
typesafety/battlesnake-server-2018
AI Programing Competition Game Server
typesafety/calamity
A library for writing discord bots in haskell
typesafety/clipboarding
D:
typesafety/datx02
Kandidatarbete om natural deduction för propositional/first-order logic
typesafety/demoinfogo-linux
Linux, OSX port of Valve's demoinfogo tool
typesafety/embedded-pattern-matching
A language to demonstrate embedded pattern matching
typesafety/generics-sop
Generic Programming using True Sums of Products
typesafety/gitignore
A collection of useful .gitignore templates
typesafety/hangm
typesafety/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
typesafety/HaskellTentor
typesafety/jlc
typesafety/Mutagen
Creating Bugs in Haskell
typesafety/sicp-pdf
SICP PDF with Texinfo and LaTeX source
typesafety/sorting
typesafety/starter-snake-python
A simple Battlesnake AI written in Python
typesafety/vm-dotfiles
the last one I promise