arajasek

Pinned Repositories

Adafruit_TSL2561
Unified sensor driver for Adafruit's TSL2561 breakouts
Language:C++0 2 00
C3W2
Language:CSS0 2 00
C3W3
Language:HTML0 2 00
config
Language:Vim Script0 2 00
drand
🎲 A Distributed Randomness Beacon Daemon - Go implementation
Language:Go0 1 00
external_staker
This is an external staker for the Aion Unity Hybrid consensus
Language:Java0 3 31
filecoin-solidity
Filecoin Solidity API Library
Language:Solidity00
FinalGenerators
Language:C++1 2 00
GeneralizedPalGenerators
Language:C++0 2 00
TxTool
Uses the Aion Java API to sign transactions offline, and then send them
Language:Java2 1 02

arajasek's Repositories

arajasek/TxTool
Uses the Aion Java API to sign transactions offline, and then send them
Language:Java2 1 02
arajasek/FinalGenerators
Language:C++1 2 00
arajasek/Adafruit_TSL2561
Unified sensor driver for Adafruit's TSL2561 breakouts
Language:C++0 2 00
arajasek/C3W2
Language:CSS0 2 00
arajasek/C3W3
Language:HTML0 2 00
arajasek/config
Language:Vim Script0 2 00
arajasek/drand
🎲 A Distributed Randomness Beacon Daemon - Go implementation
Language:Go0 1 00
arajasek/external_staker
This is an external staker for the Aion Unity Hybrid consensus
Language:Java0 3 31
arajasek/filecoin-solidity
Filecoin Solidity API Library
Language:Solidity00
arajasek/GeneralizedPalGenerators
Language:C++0 2 00
arajasek/Hask
Language:Haskell0 5 01
arajasek/PalGenerators
Language:C++2 0
arajasek/rummy
Language:Go2 0
arajasek/Sports-Extension
Language:JavaScript2 0
arajasek/SquareGenerators
Language:C++2 0
arajasek/unity_math
Language:Java2 0
arajasek/verifier
A verifier node for granting verified data allowances to Filecoin addresses
arajasek/VPDA-Determinizer
Language:C++2 0
arajasek/VPDA-Simulator
Language:C++2 0
arajasek/Walnut
Automated Theorem Prover for Automatic Words
Language:Java2 0