Truebit - Truebit is a blockchain network that allows for trustless smart contracts.
Python - Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
Polkadot - Polkadot is a Web3 decentralized cross-blockchain protocol that seeks to connect different blockchains, enabling them to share security, interoperate and transact with each other.
Rust - A safe, concurrent, practical language
Covalent - Interactive icebreakers for remote teams
Java - A concurrent, class-based, object-oriented, language specifically designed to have as few implementation dependencies as possible