EVM programming language that allows you to create compile time assertions checked by a sophisticated theorem prover
Help UNSW students choose their courses
A non-profit self-sustaining web service that decentralizes the access to medicines safely and legally.
Send us the link you are accessing, we'll tell you whether its safe
Multingual library overview generator for GitHub repositories
Enabling more effective collective politics
Due to new systems enabling automatic public transport paying, the next step to fully self-driving PT is here!
Your future bank should not get in your way, however always have the proper answers and support you.
A context-based passengers distribution system designed for trains and train stations.
Etherscan not working due cryptokitties? Not sure how infura is managing your privacy? Privacy-enabled chain alerts
A go tool integrated with geth to package your project according to the EthPM v2 spec and publish to Ethereum
A cross-client proof-of-authority ethereum testnet
A way to heal the barriers of language
Your favorite streamers as bouncy balls
G3nMaze uses a genetic algorithm to evolve increasingly more difficult mazes which the player may solve in a 3D game.
Supercharge your Shared Mailboxes!
SeeThru is a blockchain-enabled platform that prioritizes price transparency to change the ecosystem of healthcare.
Linking your spreadsheet to Xero in real-time through the power of functions
Extensible Blockchain Licensing Platform that allows users to buy time-based licenses (tickets, software, etc.)
Provlem.com! Let's Save the Life of Anonymous Person
Finding mental health resources can be confusing. We connect Austin to getting help easily, quickly, and kindly.
It's an emoji playlist generator
Improving opportunities for local farmers in the wholesale marketplace increasing trackability and transparency.
Technology-Interoperable dApps without coding