Theodoros Kasampalis's repositories
firedancer
Firedancer is Jump Crypto's Solana consensus node implementation.
Language:CNOASSERTION000
k
The K tools
Language:JavaNOASSERTION000
k-1
K Framework Tools 5.0
Language:JavaNOASSERTION000
roundtablehold.github.io
Progress tracker for completionists
Language:PythonGPL-3.0000
solidity
Fork of the Solidity Compiler for compiling Solidity to IELE
Language:C++GPL-3.0000