Search Results for "linux operating systems" - Page 2
Sort By:
Showing 42 open source projects for "linux operating systems"
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
Loop Engineering
Practical patterns, starters & CLI tools for loop engineering with AI
Loop Engineering is a practical reference repository for designing loop-based workflows with AI coding agents. It focuses on replacing repeated manual prompting with systems that prompt, verify, schedule, and hand off work over time. The project is aimed at developers using tools such as Grok, Claude Code, Codex, Cursor, and other coding agents. It explains core building blocks such as scheduling, worktrees, skills, plugins, connectors, sub-agents, and persistent memory or state. The... -
2
Claw Code
AI agent harness for AI coding agents
Claw Code is an open-source AI agent harness project focused on building better tools for orchestrating and managing autonomous coding agents. It originated as a clean-room reimplementation inspired by the architecture of Claude Code, aiming to replicate core concepts without using proprietary code. The project provides a Python-based foundation for experimenting with agent workflows, tool integration, and task execution pipelines. It emphasizes harness engineering—how agents are structured,... -
3
Open Vibe
Open Vibe turns Claude Code into a SaaS-building assistant
Open Vibe is an open-source course and agent workflow that turns Claude Code, Codex, Copilot, Open Code, or another terminal-capable AI coding agent into a SaaS-building assistant. It is built around Open SaaS, a free Wasp-powered SaaS boilerplate, so learners can create a real app while understanding the architecture behind production-ready SaaS systems. The workflow starts with setup instructions that install Node.js, install the Wasp CLI, and verify the local environment. After creating a... -
4
Nanocoder
A beautiful local-first coding agent running in your terminal
Nanocoder is an open-source, local-first coding assistant that runs in the command line and allows developers to use AI models to assist with programming tasks directly from their terminal environment. The tool is designed as a privacy-focused alternative to proprietary AI coding assistants, allowing users to run local models or connect to external APIs while keeping full control over their data and development workflow. Built with TypeScript and distributed as a CLI application, nanocoder... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
Markdown Viewer Agent Skills
Opinionated skills for AI coding agents to create stunning diagrams
Markdown Viewer Agent Skills is a repository that provides a collection of modular AI “skills” designed to extend the capabilities of agents or tools that operate on markdown-based workflows. These skills are typically structured as self-contained instruction sets that define how an AI should perform specific tasks, such as formatting, analysis, or content transformation. The project emphasizes simplicity and composability, allowing developers to integrate these skills into existing systems... -
6
MiniMax-M2.1
MiniMax M2.1, a SOTA model for real-world dev & agents.
MiniMax-M2.1 is an open-source, state-of-the-art agentic language model released to democratize high-performance AI capabilities. It goes beyond a simple parameter upgrade, delivering major gains in coding, tool use, instruction following, and long-horizon planning. The model is designed to be transparent, controllable, and accessible, enabling developers to build autonomous systems without relying on closed platforms. MiniMax-M2.1 excels in real-world software engineering tasks, including... -
7
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... -
8
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... -
9
Context Engineering Template
Context engineering is the new vibe coding
Context Engineering Template is a comprehensive template and workflow repository designed to teach and implement context engineering, a structured approach to preparing and organizing the information necessary for AI coding assistants to complete complex tasks reliably. Instead of relying solely on short prompts, this project encourages developers to create rich, structured context files that include project rules, examples, and validation criteria so that AI systems can act more like... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
Sourcery AI Code Review
Instant AI code reviews
Sourcery is an AI-powered code assistant designed to help developers write cleaner, more maintainable Python code by suggesting real-time refactorings, improvements, and best-practice rewrites directly in popular editors and IDEs. Instead of just offering autocomplete, Sourcery analyzes existing functions and code patterns to provide context-aware suggestions that can simplify logic, reduce duplication, improve naming, and correct anti-patterns, helping developers adhere to idiomatic style... -
11
MiniMax-M2
MiniMax-M2, a model built for Max coding & agentic workflows
MiniMax-M2 is an open-weight large language model designed specifically for high-end coding and agentic workflows while staying compact and efficient. It uses a Mixture-of-Experts (MoE) architecture with 230 billion total parameters but only 10 billion activated per token, giving it the behavior of a very large model at a fraction of the runtime cost. The model is tuned for end-to-end developer flows such as multi-file edits, compile–run–fix loops, and test-validated repairs across real... -
12
PocketAI
A live linux system with preconfigured AI
Pocket AI is a beginner friendly Linux system with out of the box AI functionality. It has an Ollama instance running and several apps pre configured to use the Ollama endpoint locally. The included programs are Anythingllm, chatbox, code-oss (Open source build of VSCode), n8n, searxng and aichat-ng -
13
Adaptive Intelligence
Adaptive Intelligence also known as "Artificial General Intelligence"
Adaptive Intelligence is the implementation of neural science, forensic psychology , behavioral science with machine-learning and artificial intelligence to provide advanced automated software platforms with the ability to adjust and thrive in dynamic environments by combining cognitive flexibility, emotional regulation, resilience, and practical problem-solving skills. -
14
Mermaid.js to SVG Converter
Visualize the diagrams of your projects
While coding with AI assist, I noticed bigger projects need something more rigid as context so the AI coder doesn't stray away when I try to add new features. You know, to keeps its memory fresh and not change the stuff that already works. The trick is to ask the AI to write a diagram in Mermaid.js format that solidifies the structure of the project and then use that as context to keep the AI reminded at all times what the project is as a whole. This will prevent it from changing things... -
15
Reviewpad
Next generation pull requests and issues
Reviewpad is a service to automate pull requests and issues workflows. The workflows are specified in a YML-based configuration language described in the official documentation. In Reviewpad, you can automate actions over the pull requests and issues. With technological progress depending on the human ability to create and modify software systems, Reviewpad was founded to allow developers to safely contribute to any codebase as fast as possible. Developers deserve a better experience and... -
16
DevOpsGPT
Multi agent system for AI-driven software development
Welcome to the AI Driven Software Development Automation Solution, abbreviated as DevOpsGPT. We combine LLM (Large Language Model) with DevOps tools to convert natural language requirements into working software. This innovative feature greatly improves development efficiency, shortens development cycles, and reduces communication costs, resulting in higher-quality software delivery. The automated software development process significantly reduces delivery time, accelerating software... -
17
Leanstral
Open-source code agent designed for Lean 4
Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction...
