Repositories
OrfeasLitos/plurality
Root repository for ⿻數位 Plurality: The Future of Collaborative Technology and Democracy by E. Glen Weyl, Audrey Tang and the Plurality Community
OrfeasLitos/mathlib4
The math library of Lean 4
OrfeasLitos/reference-manual
The Lean reference manual
OrfeasLitos/categories-for-programmers
solutions to Bartosz Milewski's book "Category Theory for Programmers"
OrfeasLitos/UC-Trust
A model for economic trust in the Universal Composition setting
OrfeasLitos/PaymentChannels
A Composable Security Treatment of the Lightning Network
OrfeasLitos/cerberus-script
OrfeasLitos/TrustIsRisk.js
A Javascript implementation of TrustIsRisk
OrfeasLitos/babylon
OrfeasLitos/purrfect_vault
Demo of an onchain Bitcoin Vault using OP_CAT
OrfeasLitos/bips
Bitcoin Improvement Proposals
OrfeasLitos/doc-builder
Create PDFs that contain code snippets and their outputs
OrfeasLitos/TrustIsRisk
Decentralized monetary trust network
OrfeasLitos/fairPostOrdering
OrfeasLitos/calendar
📆 Calendar app for Nextcloud
OrfeasLitos/blockchain_slides
made for SIGcoin talk @ Edinburgh University 2018-02-10
OrfeasLitos/lifetimekata
OrfeasLitos/lightning-rfc
Lightning Network Specifications
OrfeasLitos/blockchain-course
An interactive course on blockchain science and engineering
OrfeasLitos/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
OrfeasLitos/matklad.github.io
My coding related blog
OrfeasLitos/bcoin
Javascript bitcoin library for node.js and browsers
OrfeasLitos/EasyUC
Experiments with Universal Composability in EasyCrypt
OrfeasLitos/bitcoin-snark
OrfeasLitos/atomic-asset-swap
OrfeasLitos/privacy-ln
OrfeasLitos/coding-interview-mcdowell
solutions to the exercises in "Cracking the Coding Interview"