Search Results for "assistant"
Sort By:
Showing 13 open source projects for "assistant"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
1
Claude Code Config
My personal Claude Code configuration
Claude Code Config is a highly customizable personal configuration repository for Claude Code, containing tailored rules, hooks, agents, skills, and commands meant to enhance the coding assistant experience. The project centralizes configuration files that instruct Claude Code how to behave in different contexts, automating repetitive tasks and enforcing coding patterns across languages or project types. Its rulesets can apply path-scoped conventions (such as for TypeScript or test files), while hooks trigger scripts on specific events like prompt submission or automated checks. ... -
2
TN 365 Maia 2026 et Mint-KDE
Distribution TN 365 KDE moderne et stable !
🇫🇷 TechNews365 OS Essentials – Édition KDE / (Base KDE Néon ou Mint-KDE) 2 ISO pour 2 environnements différents ! TechNews365 OS Essentials est une distribution Linux moderne, rapide et légère, basée sur KDE Néon et Mint-KDE . Elle offre une expérience simple, propre et optimisée pour le quotidien : KDE optimisé TN365 Thème Maia Transparent et icônes personnalisés Applications Essentielles incluse Radios, jeux légers, outils multimédia Calamares (installation... -
3
Piper TTS
A fast, local neural text to speech system
Piper is a fast, local neural text-to-speech (TTS) system developed by the Rhasspy team. Optimized for devices like the Raspberry Pi 4, Piper enables high-quality speech synthesis without relying on cloud services, making it ideal for privacy-conscious applications. It utilizes ONNX models trained with VITS to deliver natural-sounding voices across various languages and accents. Piper is particularly suited for offline voice assistants and embedded systems. -
4
ChatGLM Efficient Tuning
Fine-tuning ChatGLM-6B with PEFT
...The project exposes practical switches for quantization and mixed precision, allowing bigger models to fit into limited VRAM. It includes examples for instruction tuning and dialogue datasets, making it straightforward to stand up a task-specific assistant. Because the code leans on widely used libraries, you can bring your own datasets and monitoring tools with minimal glue. For builders who want results fast, it’s a pragmatic way to specialize ChatGLM while controlling costs and turnaround time. -
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
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. ... -
6
Qwen2.5-14B-Instruct
Powerful 14B LLM with strong instruction and long-text handling
...It’s resilient to varied prompt styles and is especially effective for JSON and tabular data generation. The model is instruction-tuned and supports chat templating, making it ideal for chatbot and assistant use cases. -
7
Gemopus
Stable fine-tuned Gemma model for structured, clear responses
...It also strengthens technical explanations, balancing rigor with accessibility. While not intended as a production-ready system, it serves as a high-quality local assistant for structured writing, summarization, and coding tasks. Limitations include potential hallucinations in complex domains and weaker performance compared to larger frontier models. -
8
Hermes 4
Hermes 4 FP8: hybrid reasoning Llama-3.1-405B model by Nous Research
...The model is designed for schema adherence, producing valid JSON and repairing malformed outputs, making it highly suitable for tool use and function calling. Hermes 4 is engineered for superior steerability with reduced refusal rates, aligning responses to user values while preserving assistant quality. It achieves state-of-the-art results on RefusalBench, outperforming both closed and open models in balancing helpfulness with adaptability. -
9
Llama-3.2-1B
Llama 3.2–1B: Multilingual, instruction-tuned model for mobile AI
meta-llama/Llama-3.2-1B is a lightweight, instruction-tuned generative language model developed by Meta, optimized for multilingual dialogue, summarization, and retrieval tasks. With 1.23 billion parameters, it offers strong performance in constrained environments like mobile devices, without sacrificing versatility or multilingual support. It is part of the Llama 3.2 family, trained on up to 9 trillion tokens and aligned using supervised fine-tuning, preference optimization, and safety... -
Your monitoring isn't a stack. It's a pile. Fix that.Replace Datadog, New Relic, and Sentry without adding three more dashboards.
-
10
Hy3
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. The model uses 128 experts with four active for each token and supports a 256K-token context window, making it suitable for extended formal reasoning and large verification tasks. ... -
11
Leanstral 1.5
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. The model uses 128 experts with four active for each token and supports a 256K-token context window, making it suitable for extended formal reasoning and large verification tasks. ... -
12
Ministral 3 8B Instruct 2512
Compact 8B multimodal instruct model optimized for edge deployment
...It combines an 8.4B-parameter language model with a 0.4B vision encoder, enabling both text reasoning and image understanding. This FP8 instruct-fine-tuned variant is optimized for chat, instruction following, and structured outputs, making it ideal for daily assistant tasks and lightweight agentic workflows. Designed for edge deployment, the model can run on a wide range of hardware and fits locally on a single 12GB GPU, with the option for even smaller quantized configurations. Its multilingual support covers dozens of major languages, allowing it to work across diverse global environments and applications. ... -
13
Qwable-v1
Agentic coding model combining Opus reasoning and Fable tools
...The result is a 35B Mixture-of-Experts model with only 3B active parameters that can switch between deep reasoning and agent-style execution depending on the system prompt. In normal conversations, it behaves like a reasoning-focused assistant that generates explicit <think> chains before answering. When configured as an agent, it can emit structured tool-use XML for file editing, shell commands, codebase navigation, and workflow automation. Qwable-v1 is designed specifically for software engineering, code editing, debugging, and autonomous coding workflows.
- Previous
- You're on page 1
- Next