Pinned Repositories
Adafruit_CircuitPython_LED_Animation
CircuitPython helper library for LED colors and animations
key-mgmt-spec
Formal specification for the key management project
tezos-contract
Multi-sig Smart Contract for zkChannels protocol
zkchannels-spec
Specifications of the blockchain interaction for zkchannels
Adafruit_CircuitPython_LED_Animation
CircuitPython helper library for LED colors and animations
circuit-buddy
A companion to ensure your computing environment wellness
ff
Traits and utilities for working with finite fields.
fiddler
jianpu-ly
Jianpu in Lilypond
indomitableSwan's Repositories
indomitableSwan/circuit-buddy
A companion to ensure your computing environment wellness
indomitableSwan/fiddler
indomitableSwan/Adafruit_CircuitPython_LED_Animation
CircuitPython helper library for LED colors and animations
indomitableSwan/ff
Traits and utilities for working with finite fields.
indomitableSwan/jianpu-ly
Jianpu in Lilypond