patrick patrick
0 Followers · 0 Following
Repositories
57
 Projects Packages Public Activity Starred Repositories
Filter
Sort
fsharp-prefix-form
F# 0 0
Parse and evaluate expressions in prefix-form (basically Polish notation)
Updated 2021-02-17 12:53:27 +00:00
adventofcode2019
F# 0 0
Advent of Code 2019, in F#
Updated 2020-12-28 18:25:08 +00:00
adventofcode2020
F# 0 0
Advent of Code 2020, in F# and Mathematica
Updated 2020-12-25 20:41:03 +00:00
fsharp-red-black-tree
F# 0 0
A toy red-black tree, aiming to be as correct as possible by construction
Updated 2020-11-03 17:51:24 +00:00
rewriting-technical-mathematica
Mathematica 0 0
Rewriting the Technical Interview (https://aphyr.com/posts/353-rewriting-the-technical-interview), in Mathematica
Updated 2020-10-15 20:53:16 +00:00
CubicalTutorial
Agda 0 0
Tutorial for Cubical mode in Agda
Updated 2020-04-26 16:56:37 +00:00
MysteryHunt2020
Mathematica 0 0
Artefacts created during the 2020 MIT Mystery Hunt
Updated 2020-01-26 20:47:01 +00:00
vizing-theorem
Mathematica 0 0
Explanation of Vizing's theorem
Updated 2020-01-05 22:03:16 +00:00
agda-utils
F# 0 0
Manipulations of Agda files
Updated 2020-01-04 21:33:26 +00:00
hanabi-server
Python 0 0
Server for tracking the state of a game of Hanabi.
Updated 2018-02-24 21:06:46 +00:00
hvm
C 0 0
C interpreter for the Hacker.org Virtual Machine (http://www.hacker.org/hvm)
Updated 2017-08-06 15:58:09 +00:00
Crossflip
C# 0 0
Solution to www.hacker.org/cross
Updated 2013-09-20 20:31:39 +00:00