Search Results for "local" - Page 3
Sort By:
Showing 52 open source projects for "local"
View related business solutions-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
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.
-
1
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... -
2
Ornith-1.0
Open reasoning model for agentic coding and tool workflows
...Ornith-1.0-397B is a reasoning model by default, generating <think> blocks before final answers, and supports tool calling through OpenAI-compatible endpoints. It can be deployed with vLLM, SGLang, Transformers, Docker, and compatible quantized local apps, and is released under the MIT license.
