KripkesBeard
My main interests are in the connections between mathematical logic, type theory, category theory, programming language theory, and linguistics. Also Compilers.
D.C.
Pinned Repositories
AoC
Solutions to the Advent of Code
DesertRatRunner
Eldritch Horror Desert Rat Running Simulator
fragments
Formal Semantics via Functional Programming
hottest-summer-school
Summer School Introduction to Homotopy Type Theory
KripkesBeard.github.io
My site
plfa-exercises
programming-for-philosophers
Startings of a textbook which teaches declarative programming for applications in philosophy.
StudentsAndUniversities
A parser and pretty printer for student and university CSV data
KripkesBeard's Repositories
KripkesBeard/AoC
Solutions to the Advent of Code
KripkesBeard/DesertRatRunner
Eldritch Horror Desert Rat Running Simulator
KripkesBeard/fragments
Formal Semantics via Functional Programming
KripkesBeard/hottest-summer-school
Summer School Introduction to Homotopy Type Theory
KripkesBeard/KripkesBeard.github.io
My site
KripkesBeard/plfa-exercises
KripkesBeard/programming-for-philosophers
Startings of a textbook which teaches declarative programming for applications in philosophy.
KripkesBeard/StudentsAndUniversities
A parser and pretty printer for student and university CSV data