Search Results for "libhamlib-4"
Sort By:
Showing 14 open source projects for "libhamlib-4"
View related business solutions-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
1
SWE-agent
SWE-agent takes a GitHub issue and tries to automatically fix it
SWE-agent turns LMs (e.g. GPT-4) into software engineering agents that can resolve issues in real GitHub repositories. On the SWE-bench, the SWE-agent resolves 12.47% of issues, achieving state-of-the-art performance on the full test set. We accomplish our results by designing simple LM-centric commands and feedback formats to make it easier for the LM to browse the repository, and view, edit, and execute code files. -
2
Dyad
Free, local, open-source AI app builder
...Deep Supabase integration means you can create UI and backend logic in one cohesive environment, while the model-agnostic architecture lets you connect to any AI, whether cloud-based (Gemini 2.5 Pro, GPT-4.1, Claude Sonnet 4) or local via Ollama, so you’re never locked in. All source code remains on your device and integrates seamlessly with your preferred IDE. A natural-language API enables powerful data queries and updates, automating tasks without leaving the chat interface. By running entirely locally, Dyad delivers maximum privacy, minimal latency, and smooth developer experiences free from cloud-based inconsistencies. -
3
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 mathematical engineer than a one-shot text generator. ... -
4
CodiumAI PR-Agent
AI-Powered tool for automated pull request analysis
...See the Usage Guide for instructions how to run the different tools from CLI, online usage, Or by automatically triggering them when a new PR is opened. You can try GPT-4 powered PR-Agent, on your public GitHub repository, instantly. Just mention @CodiumAI-Agent and add the desired command in any PR comment. The agent will generate a response based on your command. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
Ornith-1.0
Ornith-1.0 is a self-improving open-source models for agentic coding
...It is designed for coding agents that need to solve software engineering tasks through iterative tool use and solution rollouts. The project presents 9B dense, 31B dense, 35B mixture-of-experts, and 397B mixture-of-experts variants. These models are post-trained on top of Gemma 4 and Qwen 3.5 foundations. Its training approach uses reinforcement learning to optimize both the solution and the scaffold that guides the solution process. The repository emphasizes benchmark performance on Terminal-Bench, SWE-bench, NL2Repo, OpenClaw, and SWE Atlas while keeping the project MIT licensed and globally accessible. -
6
Gemma Chat
Local AI chat + coding agent for Apple Silicon, powered by Gemma 4
Gemma Chat is a local-first AI chat and coding assistant designed to run fully on-device, particularly optimized for Apple Silicon machines. It leverages Google’s Gemma family of lightweight language models, which are built on the same underlying technology as Gemini and designed for efficient local inference and reasoning tasks. The project enables users to interact with AI through a chat interface while also supporting code generation and editing workflows. It emphasizes privacy and... -
7
Genie AI
Your best AI pair programmer in VS Code
Your best AI pair programmer. Save conversations and continue any time. A Visual Studio Code - ChatGPT Integration. Supports, GPT-4o GPT-4 Turbo, GPT3.5 Turbo, GPT3, and Codex models. Create new files, and view diffs with one click; your copilot to learn code, add tests, find bugs, and more. -
8
CodinIT.dev
Free, local, open-source AI app builder
CodinIT.dev is a free, local, open source AI app builder that lets you go from idea to full-stack application entirely on your machine, no coding required, just chat with AI. You can build unlimited apps with real-time previews, instant undo, and responsive, frictionless workflows. Deep Supabase integration means you can create UI and backend logic in one cohesive environment, while the model-agnostic architecture lets you connect to any AI, whether cloud-based (Gemini 3 Pro, GPT-5,... -
9
Frontman
AI coding agent for visual frontend fixes in your browser
Frontman is an open-source AI coding agent that lives inside your running web app. Click any element, describe the change, and Frontman edits the real source files with hot reload. Unlike IDE-only coding tools, Frontman sees the live DOM, component tree, computed CSS, routes, source maps, screenshots, console output, and server logs. That runtime context helps product managers, designers, and frontend teams fix copy, spacing, colors, layout bugs, and internal UI polish without guessing... -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
Orbi
Issue-to-release coding agent with independent PR review
Orbi takes a GitHub Issue from label to release. When an Issue is marked ai-ready, Orbi builds the change in a dedicated worktree and opens a pull request. A reviewer agent, separate from the one that wrote the code, compares the PR with the Issue's acceptance criteria and repairs it. Orbi then merges only that reviewed head and publishes a tagged GitHub release. It is installed from the GitHub repo, with the CLI on PyPI as orbi-cli and Docker images on GHCR and Docker Hub, and can also be... -
11
-
12
Mentat
Mentat - The AI Coding Assistant
...Mentat uses Git, so if your project doesn't already have Git set up, run git init. List the files you would like Mentat to read and edit as arguments. Mentat will add each of them to context, so be careful not to exceed the GPT-4 token context limit. -
13
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 within large language models, targeting domains that require strict correctness and logical rigor rather than general conversational tasks. ... -
14
Ornith-1.0
Open reasoning model for agentic coding and tool workflows
Ornith-1.0 is a large open-source reasoning model from DeepReinforce, built for agentic coding, tool use, and complex software engineering workflows. It is part of the Ornith 1.0 family, which includes dense and MoE models post-trained on Gemma 4 and Qwen 3.5. The model focuses on coding-agent performance across benchmarks such as Terminal-Bench, SWE-Bench, NL2Repo, OpenClaw, and ClawEval. Its training uses a self-improving reinforcement learning framework that optimizes not only solution attempts but also the scaffolds that guide those attempts, helping the model discover better search paths and produce higher-quality solutions. ...
- Previous
- You're on page 1
- Next
