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
flicker
Research into the diffusion model of 1/f noise
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
xcthulhu's Repositories
xcthulhu/risk-free-lending-isabelle
Formal verification of the safety of the risk-free lending protocol
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/evm-cctp-contracts
Official repository for all EVM-compatible smart contracts used by the Cross-Chain Transfer Protocol
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