HolyMichael/inspect_swe
Software Engineering Agents for Inspect AI
Evil robot tester
Repositories
HolyMichael/HolyMichael.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
HolyMichael/control-arena
ControlArena is a suite of realistic settings, mimicking complex deployment environments, for running control evaluations. This is an alpha release; we welcome feedback.
HolyMichael/ca-k8s-infra
A k8s infrastructure setting for ControlArena
HolyMichael/eval-analysis-public
Public repository containing METR's DVC pipeline for eval data analysis
HolyMichael/deepsearch-examples
Examples using the Deep Search functionalities
HolyMichael/deepsearch-toolkit
Interact with the Deep Search platform for new knowledge explorations and discoveries
HolyMichael/testing_actions
test_repo
HolyMichael/BiciclyShopInterfaceInJava
HolyMichael/BD2TP1
A database interface application in java using advanced mySQL features
HolyMichael/CG1
A simple game of Sobokan made using OpenGL
HolyMichael/CG2
2nd cg project
HolyMichael/somethingbrawl
A real time cross platform turn based strategy game. (This repository only includes the server)
HolyMichael/raspadinha-server
A Secure Lotto: A Proof of concept lottery where tickets are distributed to all signed in users, and only the winners know if they won (not even the server knows).