GitHunt

Matthew Doty

xcthulhu

Organizations

Languages

Python18%Rust14%Isabelle14%TeX9%JavaScript5%OCaml5%Shell5%Scala5%Markdown5%Java5%

Top Repositories

Repositories

125
XC
xcthulhu/monadFork

No description provided.

00Updated 2 weeks ago
XC
xcthulhu/monad-bftFork

No description provided.

00Updated 2 weeks ago
XC
xcthulhu/bitauthFork

Authenticate with web services utilizing the same strategy as Bitcoin.

JavaScript00Updated 1 month ago
XC
xcthulhu/docsFork

No description provided.

00Updated 2 months ago
XC
xcthulhu/zeroid_poc

No description provided.

Rust00Updated 1 year ago
XC
xcthulhu/WWVBFork

Experiment to monitor the WWVB clock signal (60 kHz) out of Fort Collins to try to detect cosmic gamma ray bursts from the ground

Python30Updated 1 year ago
XC
xcthulhu/flyspeck

Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)

OCaml41Updated 1 year ago
XC
xcthulhu/roland-mc

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.

Python40Updated 1 year ago
XC
xcthulhu/TumblrScraper

scrap images on tumblr with tags and notes

Python52Updated 1 year ago
XC
xcthulhu/EviL

MSc Thesis: Evidentialist Logic

Shell63Updated 1 year ago
XC
xcthulhu/risk-free-lending-isabelle

Formal verification of the safety of the risk-free lending protocol

10Updated 2 years ago
XC
xcthulhu/GoldBug

A cryptographic library in Scala

Scala00Updated 2 years ago
XC
xcthulhu/ss58-registryFork

Registry for SS58 account types

Rust00Updated 2 years ago
XC
xcthulhu/slipsFork

SatoshiLabs Improvement Proposals

Markdown00Updated 2 years ago
XC
xcthulhu/heimdal-ethereumArchived

No description provided.

Java07Updated 3 years ago
XC
xcthulhu/modulesArchived

A home for all blockchain and filesystem module wrappers, for use with epm and the decerver

Go10Updated 3 years ago
XC
xcthulhu/MarkovImageLogicArchived

Markov Logic for images

Python02Updated 3 years ago
XC
xcthulhu/risk_free_lending_proof

Formalization of the Risk-Free Lending protocol safety proof in Isabelle/HOL

Isabelle00Updated 3 years ago
XC
xcthulhu/risk_free_lending

No description provided.

Emacs Lisp00Updated 3 years ago
XC
xcthulhu/capnproto-rustFork

Cap'n Proto for Rust

00Updated 4 years ago
XC
xcthulhu/keys-managerFork

No description provided.

00Updated 4 years ago
XC
xcthulhu/DutchBook

No description provided.

Isabelle00Updated 4 years ago
XC
xcthulhu/casper-nodeFork

CasperLabs node

Rust00Updated 4 years ago
XC
xcthulhu/cepsFork

CasperLabs RFCs

00Updated 4 years ago
XC
xcthulhu/Highway

Mechanized Proofs for the Highway Protocol

Isabelle00Updated 5 years ago
XC
xcthulhu/crates.io-indexFork

Registry index for crates.io

00Updated 5 years ago
XC
xcthulhu/crate2nixFork

nix build file generator for rust crates

Nix00Updated 5 years ago
XC
xcthulhu/haskell-math-1Fork

No description provided.

TeX00Updated 5 years ago
XC
xcthulhu/haskell-math

No description provided.

TeX00Updated 5 years ago
XC
xcthulhu/coded_aperture_vhdl

vhdl code for simulating/synthesizing an FPGA backend of a coded aperture

VHDL95Updated 5 years ago

Gists

Recent Activity