Beast code in Giters

Thomas Li's repositories

aoc2021

Solutions for Advent of Code 2021

Language:HaskellBSD-3-Clause7 20

aoc2020

Solutions for Advent of Code 2020

Language:HaskellMIT4 20

aoc2023

Solutions for Advent of Code 2023

Language:HaskellMIT3 10

aoc2022-haskell

Language:HaskellMIT2 20

hchess

Language:Haskell2 20

aoc2022-rust

Language:Rust1 20

crorse

Language:Python1 30

dotfiles

probably usable

Language:Vim Script1 20

shaunlib

Library for writing Discord bots

Language:HaskellMPL-2.01 10

shaunwhite

Discord bot

Language:HaskellMIT1 3 1

typesafety.github.io

Language:HTML1 20

aoc2019

Advent of Code 2019 solutions

Language:HaskellBSD-3-Clause020

aoc_table

Language:Rust010

battlesnake-server-2018

AI Programing Competition Game Server

Language:ElixirMIT010

calamity

A library for writing discord bots in haskell

Language:HaskellMIT010

clipboarding

Language:JavaScriptMIT01 1

datx02

Kandidatarbete om natural deduction för propositional/first-order logic

Language:PureScriptGPL-3.0010

demoinfogo-linux

Linux, OSX port of Valve's demoinfogo tool

BSD-2-Clause000

embedded-pattern-matching

A language to demonstrate embedded pattern matching

Language:Haskell010

generics-sop

Generic Programming using True Sums of Products

Language:HaskellBSD-3-Clause010

gitignore

A collection of useful .gitignore templates

CC0-1.0010

hangm

Language:HaskellBSD-3-Clause02 5

haskell-exercises

A little course to learn about some of the more obscure GHC extensions.

Language:HaskellMIT010

HaskellTentor

Language:Haskell010

jlc

Language:Haskell010

Mutagen

Creating Bugs in Haskell

Language:HaskellBSD-3-Clause010

sicp-pdf

SICP PDF with Texinfo and LaTeX source

Language:Perl010

sorting

Language:HaskellBSD-3-Clause010

starter-snake-python

A simple Battlesnake AI written in Python

Language:PythonMIT010

vm-dotfiles

the last one I promise

Language:Lua020