Aayush Rajasekaran's repositories
Adafruit_TSL2561
Unified sensor driver for Adafruit's TSL2561 breakouts
external_staker
This is an external staker for the Aion Unity Hybrid consensus
filecoin-solidity
Filecoin Solidity API Library
Language:SolidityApache-2.0000
lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Apache-2.0000
nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
Apache-2.0000
verifier
A verifier node for granting verified data allowances to Filecoin addresses
000