Screeps
CodeCombat
CheckIO
CodinGame
Robocode
Codewars
Project Euler
LeetCode
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
Screeps AuditHubNo features have been listed yet.
No AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Based on our record, Screeps seems to be more popular. It has been mentiond 45 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
When I used to play Screeps[1], a MMO strategy game where you programmed to control your units and buildings, a group of us setup a player that was managed in this exact way called Quorum[2]. If anyone wants to run their own project in this way I open sourced the code to do so under the GitConsensus[3] project. There's a Github App (which may not still work, but if there's interest I'll restart it) and a "run it... - Source: Hacker News / 7 months ago
> Fwiw nothing beats โimplement the game logic in full (huge amounts of work) and with pruning on some heuristics look 50 moves aheadโ. This is how chess engines work and how all good turn based game ai works. For board games this is mostly true. For turn based games in general, it is not. It's certainly not true to say "all good turn based game ai" works like this. Turn based games where multiple "moves" are... - Source: Hacker News / 11 months ago
Reminds me (in spirit) of screeps https://screeps.com/ - any inspiration? - Source: Hacker News / over 1 year ago
I love the idea of having an AI prompt to write code for the bots. There are already games like https://screeps.com/ or https://store.steampowered.com/app/2060160/The_Farmer_Was_Replaced/ where you program your bot to do things, but they do require some minimal coding experience. Being able to describe behavior in plain english would be pretty cool. However, I think having real-time feedback is a huge part of... - Source: Hacker News / almost 2 years ago
I've heard about Screeps which is close to what you describe: https://screeps.com/. - Source: Hacker News / over 2 years ago
CodeCombat - Learn programming with a multiplayer live coding strategy game.
Olympix - Secure your code as itโs written
CheckIO - CheckIO is a web site with a mission: To teach JavaScript and Python coding skills through a game-playing interface. It is designed to teach new skills or improve existing skills through completing challenges.
CodinGame - CodinGame provides users with a fun and effective way to learn coding that eschews the rigid structure of traditional teaching methods.
Robocode - Robocode is a programming game where the goal is to code a robot battle tank to compete against...
Codewars - Achieve code mastery through challenge.