theo25

Pinned Repositories

firedancer
Firedancer is Jump Crypto's Solana validator software.
Language:C976 30 487179
k-legacy
The K tools (deprecated, see README)
Language:Java146 29 1.1k61
X86-64-semantics
Semantics of x86-64 in K
Language:Assembly144 22 913
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Python509 54 347144
k
K Framework Tools 7.0
Language:Python453 38 1.2k150
firedancer
Firedancer is Jump Crypto's Solana consensus node implementation.
Language:C0 0 00
k
The K tools
Language:Java0 1 00
k-1
K Framework Tools 5.0
Language:Java0 1 00
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:C0 0 00
theo25/k
The K tools
Language:Java0 1 00
theo25/k-1
K Framework Tools 5.0
Language:Java0 1 00
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
theo25/llvm-backend
KORE to llvm translation
Language:C++