Christopher Goes's repositories
tm-proposer-idris
Formalization of Tendermint proposer election properties
snarky-workshop
Hackathon project for Snarky workshop.
haskell-abci
Haskell Application BlockChain Interface (ABCI) Server Library
formality-experiments
Experiments related to the Formality language.
idris-juvix
A Dependently Typed Functional Programming Language
Adafruit_Python_SSD1306
Python library to use SSD1306-based 128x64 or 128x32 pixel OLED displays with a Raspberry Pi or Beaglebone Black.
fhe-experimentation
nothing to see here
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
ibc-idris-ref
Datatypes & reference algorithms for IBC, later to be converted into proofs.
namada-testnets
Testnet configurations and coordination for the Namada network.
pandoc-include
Pandoc filter to allow file and header includes
presentations
Miscellaneous presentation archive.
principles
Personal Principles
slips
SatoshiLabs Improvement Proposals
snarky
OCaml DSL for verifiable computation
stylish-haskell
Haskell code prettifier
uuid-orphans
Orphan instances and other add-ons for the uuid package
wyvern-dao-proposal-template
Wyvern DAO proposal template & proposal creation guide