Search Results for "local" - Page 3

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, Claude Sonnet 4.5) or local via Ollama, so you’re never locked in. ...

...We used a variety of infrastructure, on a mix of cloud platforms, depending on what was most economical, though it was mostly on AWS. You should be able to develop, build, and test Kite entirely on your local machine. However, we do have cloud instances & VMs available for running larger jobs and for testing our cloud services. We bundle a lot of pre-computed datasets & machine learning models into the Kite app through the use of a custom filemap & encoding on top of go-bindata. The data, located in kite-go/client/datadeps, is kept in Git-LFS.

Aide is an AI software engineering assistant that provides conversational code generation, analysis, and refactoring directly within your IDE or through a local web interface. Built to act as a full-stack collaborator, it understands multi-file projects, detects dependency relationships, and can generate consistent updates across files and frameworks. It supports multiple backends—including OpenAI, Anthropic, and open-source models—and can route requests based on task type or latency requirements. ...

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...

...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.