Bitcoin Implementation in Scala
Why do you think that https://github.com/runtimeverification/evm-semantics is a good alternative to Bitcoin-S-Core
Bitcoin Implementation in Scala
Why do you think that https://github.com/runtimeverification/evm-semantics is a good alternative to Bitcoin-S-Core