theo25

Pinned Repositories

firedancer
Firedancer is Jump Crypto's Solana consensus node implementation.
Language:C808 25 437143
k-legacy
The K tools (deprecated, see README)
Language:Java146 29 1.1k61
X86-64-semantics
Semantics of x86-64 in K
Language:Assembly131 22 911
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Python505 56 346138
k
K Framework Tools 7.0
Language:Java430 38 1.2k143
firedancer
Firedancer is Jump Crypto's Solana consensus node implementation.
Language:C00
k
The K tools
Language:Java00
k-1
K Framework Tools 5.0
Language:Java00
roundtablehold.github.io
Progress tracker for completionists
Language:Python0 0 00
solidity
Fork of the Solidity Compiler for compiling Solidity to IELE
Language:C++0 0 00

theo25's Repositories

theo25/firedancer
Firedancer is Jump Crypto's Solana consensus node implementation.
Language:C00
theo25/k
The K tools
Language:Java00
theo25/k-1
K Framework Tools 5.0
Language:Java00
theo25/roundtablehold.github.io
Progress tracker for completionists
Language:Python0 0 00
theo25/solidity
Fork of the Solidity Compiler for compiling Solidity to IELE
Language:C++0 0 00