erik-megarad/peterson-research
Lean-checked reconstructions of Gary L. Peterson's shared-memory algorithms
Repositories
erik-megarad/beebot
An Autonomous AI Agent that works
erik-megarad/peterson-algorithm
Formalization and Lean proofs of Peterson's mutual exclusion algorithm
erik-megarad/negative-captcha
A plugin to make the process of creating a negative captcha in Rails much less painful
erik-megarad/Aeris
Agent Experience Repository for Intelligent Systems
erik-megarad/Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
erik-megarad/Auto-GPT-Benchmarks
A repo built for the purpose of benchmarking the performance of agents, regardless of how they are set up and how they work.
erik-megarad/agbenchmark_challenges
This is the challenges repository of auto-gpt-benchmarks
erik-megarad/baserun-py
erik-megarad/autopack
Python library and CLI for AI tools