Search Results for "libhamlib-4"
Sort By:
Showing 12 open source projects for "libhamlib-4"
View related business solutions-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
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.
-
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. -
$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.
-
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
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,... -
8
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... -
9
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
10
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. -
11
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. ... -
12
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
