6 个仓库
Systems that compile and run submitted source code in a sandbox, then compare output against expected results.
Distinct from Source Code Compilers: Distinct from Source Code Compilers: adds sandboxed execution and output comparison, not just compilation.
Explore 6 awesome GitHub repositories matching programming languages & runtimes · Sandboxed Code Evaluators. Refine with filters or upvote what's useful.
Hydro is an online judge platform and competitive programming management system. It provides the infrastructure to host programming contests, manage a library of programming problems, and evaluate code submissions against predefined test cases and time limits. The system utilizes a distributed code execution engine that scales judging tasks across multiple worker nodes to process high volumes of submissions. It is built as a modular judge framework, employing a plugin-based architecture that allows for the extension of system functionality without modifying the core source code. The platform
Provides a sandboxed environment to compile and execute user submissions and compare results against expected outputs.
OnlineJudge is an automated platform for managing programming contests and evaluating submitted source code. It provides a complete online judge system that compiles, runs, and scores code submissions against predefined test cases within a sandboxed execution environment, ensuring the host system remains protected from untrusted user code. The platform supports both ACM-style penalty-based scoring and OI-style point-based scoring, with real-time leaderboard computation that dynamically updates participant rankings as submissions are judged. Contest organizers can create and schedule timed com
Compiles and runs submitted source code in a sandbox, then compares output against expected results.
EvalXR is an interactive Rust compiler that compiles code into dynamically loaded libraries for iterative evaluation without restarting the process. It serves as a Rust Jupyter kernel, a notebook runtime, and a REPL environment, all with state retention across evaluations. The project provides a stateful Rust evaluation engine that runs code snippets in isolated sandboxes while keeping functions and variables alive between executions. It supports cell-based execution, compiling Rust code into a shared library and loading it into the same process to preserve state, with an error-aware compilat
Compiles and runs Rust code in a sandboxed environment that preserves state between evaluations.
PraisonAI is an autonomous AI agent platform that coordinates multiple LLM-powered agents for research, planning, and execution of complex workflows. It functions as a multi-agent orchestration framework, a workflow builder, and a Model Context Protocol server, while also providing retrieval-augmented generation through vector knowledge bases. Agents can interact via CLI, web, or standardized protocols with sandboxed code execution. The platform distinguishes itself with a rich set of agent communication protocols, including A2A, REST, WebSocket, voice and telephony integration, and MCP, allo
Ships a multi-layer sandbox that uses AST validation and restricted builtins to block dangerous operations.
mcp-context-forge is a Model Context Protocol federation gateway that unifies diverse AI tool servers and APIs into a single consistent interface for discovery and execution. It acts as a centralized proxy that aggregates multiple servers and APIs, allowing AI agents to access and invoke a unified set of tools, prompts, and resources. The project distinguishes itself through a multi-protocol translation bridge that converts communication between standard I/O, SSE, gRPC, and REST to enable interoperability between disparate tool servers. It includes a comprehensive LLM evaluation framework for
Implements an isolated execution environment that uses AST analysis to block dangerous Python operations.
Scala Exercises 是一个交互式学习平台,旨在通过基于浏览器的编码挑战来掌握 Scala 编程语言。它作为一个综合教育框架,将编程课程组织成顺序模块,通过自动化验证为用户提交的代码提供即时反馈。 该平台的特色在于将教育内容视为模块化的、版本化的工件,可以动态注册并作为项目依赖项集成。这种架构允许创建自定义学习路径,其中练习使用类型安全接口定义并针对预定义的测试套件进行验证,确保所有学生解决方案都符合预期的函数式要求。 除了核心教学外,该系统还提供用于创作和组织复杂课程的工具,使贡献者能够将描述性文档与可执行逻辑打包在一起。该平台支持通过外部模块集成来扩展其库,从而允许在统一的、测试驱动的环境中维护和分发专门的编程内容。
Executes user-submitted code in a sandboxed environment to provide immediate feedback.