Matthew Doty
xcthulhu
Languages
Top Repositories
vhdl code for simulating/synthesizing an FPGA backend of a coded aperture
MSc Thesis: Evidentialist Logic
scrap images on tumblr with tags and notes
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)
For Roland Vanderspek: A Monty Carlo calculation for the likelihood that a cosmic ray will hit a subarray on detector. Written in Mathematica and literate python; needs SciPy/NumPy and Pweave.
Experiment to monitor the WWVB clock signal (60 kHz) out of Fort Collins to try to detect cosmic gamma ray bursts from the ground
Repositories
125No description provided.
No description provided.
Authenticate with web services utilizing the same strategy as Bitcoin.
No description provided.
No description provided.
Experiment to monitor the WWVB clock signal (60 kHz) out of Fort Collins to try to detect cosmic gamma ray bursts from the ground
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)
For Roland Vanderspek: A Monty Carlo calculation for the likelihood that a cosmic ray will hit a subarray on detector. Written in Mathematica and literate python; needs SciPy/NumPy and Pweave.
scrap images on tumblr with tags and notes
MSc Thesis: Evidentialist Logic
Formal verification of the safety of the risk-free lending protocol
A cryptographic library in Scala
Registry for SS58 account types
SatoshiLabs Improvement Proposals
No description provided.
A home for all blockchain and filesystem module wrappers, for use with epm and the decerver
Markov Logic for images
Formalization of the Risk-Free Lending protocol safety proof in Isabelle/HOL
No description provided.
Cap'n Proto for Rust
No description provided.
No description provided.
CasperLabs node
CasperLabs RFCs
Mechanized Proofs for the Highway Protocol
Registry index for crates.io
nix build file generator for rust crates
No description provided.
No description provided.
vhdl code for simulating/synthesizing an FPGA backend of a coded aperture