Pinned Repositories
armadeus
Fork of the armadeus toolchain
Cayley_Theorem
A proof of Cayley's embedding theorem from abstract algebra in Isabelle/HOL
chromatophore
Reusable components for reagent
coded_aperture_vhdl
vhdl code for simulating/synthesizing an FPGA backend of a coded aperture
CXBN
CXBN FPGA based Flight Software
EviL
MSc Thesis: Evidentialist Logic
flyspeck
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)
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.
TumblrScraper
scrap images on tumblr with tags and notes
WWVB
Experiment to monitor the WWVB clock signal (60 kHz) out of Fort Collins to try to detect cosmic gamma ray bursts from the ground
xcthulhu's Repositories
xcthulhu/risk-free-lending-isabelle
Formal verification of the safety of the risk-free lending protocol
xcthulhu/adjunctions
Simple adjunctions
xcthulhu/capnproto-rust
Cap'n Proto for Rust
xcthulhu/casper-node
CasperLabs node
xcthulhu/categories-working-hacker
Some Haskell code from the [Applied Category Theory Course]
xcthulhu/ceps
CasperLabs RFCs
xcthulhu/crate2nix
nix build file generator for rust crates
xcthulhu/crates.io-index
Registry index for crates.io
xcthulhu/Definetti
xcthulhu/DutchBook
xcthulhu/dwergaz
A minimal testing library
xcthulhu/fake-rs
A library for generating fake data in Rust.
xcthulhu/haskell-math
xcthulhu/haskell-math-1
xcthulhu/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
xcthulhu/Highway
Mechanized Proofs for the Highway Protocol
xcthulhu/keys-manager
xcthulhu/package-sets
A curated list of PureScript packages
xcthulhu/pandoc
Universal markup converter
xcthulhu/risk_free_lending
xcthulhu/risk_free_lending_proof
Formalization of the Risk-Free Lending protocol safety proof in Isabelle/HOL
xcthulhu/slips
SatoshiLabs Improvement Proposals
xcthulhu/sqlx
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL.
xcthulhu/ss58-registry
Registry for SS58 account types
xcthulhu/theses
xcthulhu/tubman_video_hack
xcthulhu/typeguard
Run-time type checker for Python
xcthulhu/typeshed
Collection of library stubs for Python, with static types
xcthulhu/VegasTalk
xcthulhu/xcthulhu.github.io
After ω Blog