Search Results for "linux system"
Sort By:
Showing 6 open source projects for "linux system"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
CUDA Agent
Large-Scale Agentic RL for High-Performance CUDA Kernel Generation
CUDA Agent is a research-driven agentic reinforcement learning system designed to automatically generate and optimize high-performance CUDA kernels for GPU workloads. The project addresses the long-standing challenge that efficient CUDA programming typically requires deep hardware expertise by training an autonomous coding agent capable of iterative improvement through execution feedback. Its architecture combines large-scale data synthesis, a skill-augmented CUDA development environment,... -
2
Ditto
The simplest self-building coding agent
Ditto is a simple self-building coding agent that generates multi-file Flask applications from natural language descriptions. Users describe the app they want, and the system attempts to plan and create routes, templates, static assets, and supporting files. It uses an LLM loop with basic tools to automate part of the coding process. The project is intentionally lightweight and experimental, making it easier to understand than larger agentic coding platforms. Its modular structure separates... -
3
nanocode
Minimal Claude Code alternative. Single Python file, zero dependencies
nanocode is a minimalist coding agent implementation designed as a compact alternative to Claude Code, packaged in a single Python file with no external dependencies and totaling around 250 lines of code. It implements a full agentic loop where the model can reason, decide when to use tools, execute those tools, and iterate until producing a final answer, making it useful for simple AI-assisted coding workflows. It includes a set of integrated tools such as read, write, edit, glob, grep, and... -
4
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive... -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
AutoCoder
A long-running autonomous coding agent powered by the Claude Agent
Autocoder is an experimental auto-generation engine that transforms high-level prompts or structured descriptions into functioning source code, models, or systems with minimal manual intervention. Rather than hand-writing boilerplate or repetitive patterns, users supply a specification—such as a description of a feature, a function prototype, or a module outline—and Autocoder fills in complete implementations that compile and run. It is built to support iterative refinement: after generating... -
6
Aden Hive
Outcome driven agent development framework that evolves
Hive is an open-source agent development framework that helps developers build autonomous, reliable, self-improving AI agents by letting them describe goals in ordinary natural language instead of hand-coding detailed workflows. Rather than manually defining execution graphs, Hive’s coding agent generates the agent graph, connection code, and test cases based on your high-level objectives, enabling outcome-driven agent creation that fits real business processes. Once deployed, agents can...
- Previous
- You're on page 1
- Next
