xrchz/thesis
A LaTeX document class that conforms to the Computer Laboratory's PhD thesis formatting guidelines.
Developer Profile
xrchz
Discovered public repositories for xrchz in the GitHub catalog.
xrchz/HOL4-impconv
Implicational conversions for HOL4
xrchz/ppp
Parametric Polymorphism and Tiling Agents
xrchz/hol-webpages
Webpages for the HOL4 website (currently at hol.sourceforge.net)
xrchz/beeminder-750words
Automatically send whether you wrote your words to Beeminder.
xrchz/fs_spec
Filesystem spec
xrchz/prism-break
The source code of PRISM Break. Please read the README below.
xrchz/ssl
Formalisation of Structural Separation Logic
xrchz/beeminder-clock
Send your time spent clocked in to a Beeminder goal.
xrchz/miniKanren
Canonical miniKanren implementation
xrchz/habs
Arch Haskell ABS tree
xrchz/compilation
Public repository.
xrchz/music
original compositions
xrchz/TT-in-TT
Type theory in type theory
xrchz/agda-hacking
Public repository.
xrchz/agda-refman
Public repository.
xrchz/cpdt-agda
Public repository.
xrchz/typed-conv
Public repository.
xrchz/holfof
Public repository.
xrchz/hol-light
Public repository.
xrchz/standalone-tactics
Public repository.
xrchz/SetCat
Public repository.
xrchz/Tasks
Public repository.
xrchz/CERN-LHC-BLMTC-SRS
Public repository.
xrchz/MM76
Mechanization of "Unification in Linear Time and Space: A Structured Presentation" by Martelli and Montanari in HOL4.