GitHub - runtimeverification/evm-semantics: K Semantics of the Ethereum Virtual Machine (EVM)

How We Write GitHub Actions in Go · Blend Engineering: Full Stack Finance

Using Prebuilt Binaries to Minimize Build Costs

refined-github/refined-github

:octocat: Browser extension that simplifies the GitHub interface and adds useful features

Introducing eve

Introducing eve, the open-source agent framework from Vercel for building, running, and scaling agents in production, with durable execution, sandboxed compute, approvals, channels, tracing, and evals built in.

GitHub - gbrail/envoy-processor-examples

Contribute to gbrail/envoy-processor-examples development by creating an account on GitHub.

Open Attested Runtimes Explainer

Open Attested Runtimes A New Foundation for User-Controlled Computing Author: Alex Komoroske, with some help from Claude Last Updated: March 26, 2025 Your personal devices are your sovereign territory. You control what software runs, what data is stored, and how your information is used. This ...

Composable, fast, and secure dev environments | Workshop | Ubuntu

Launch agent-ready, sandboxed development environments with a single command. Define them via simple YAML configs, share them to recreate on different machines.

jennings/jj-spr

The power tool for Jujutsu + GitHub workflows. Adapted from spr by @LucioFranco.

Vercel Sandbox

Vercel Sandbox allows you to run arbitrary code in isolated, ephemeral Linux VMs.

Ditching GitHub

This is going to be some sort of a public service announcement, withside notes. This has been brewing for a long, long time (years), it’sjust that I never se...

Sprites - Stateful sandboxes

Persistent, hardware-isolated execution environments for arbitrary code. Run AI agents, untrusted code, and more in secure sandbox environments with checkpoint & restore.

GitHub - humanlayer/12-factor-agents at sidebar

What are the principles we can use to build LLM-powered software that is actually good enough to put in the hands of production customers? - GitHub - humanlayer/12-factor-agents at sidebar

shepherd-agents/shepherd

A runtime substrate that turns an agent's execution into a reversible, Git-like trace, so meta-agents can observe, fork, replay, and revert any run. Couples agent and environments in a copy-on-write fork ~5x faster than docker commit, with ~95% KV-cache reuse on replay. Framework built for meta-agents to supervise, optimize, and train other agents

GitHub - collect-intel/osccai: Open-source Collective Constitutions for AI

Open-source Collective Constitutions for AI. Contribute to collect-intel/osccai development by creating an account on GitHub.

embabel/embabel-agent

Agent framework for the JVM. Pronounced Em-BAY-bel /ɛmˈbeɪbəl/

A GitHub for maintainers

Giving dependencies the same treatment the fork got