Search Results for "lean" - Page 6
Sort By:
Showing 144 open source projects for "lean"
View related business solutions-
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.
-
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
An Object Oriented, Model-View-Controller, PHP Content managment system. Lean, Lite, but Powerful, CodeIgnition is build for scalability, and stability.
-
2
-
3
Quip is a lean-and-mean, platform independent source code editor that features support for custom scripts and an interface designed to leverage modern computer systems and standards.
-
4
php4dbi is a database abstraction layer for PHP. It is simple to use (a single file with a simple API) and lean enought to not bloat your PHP application. Supports: MySQL, SQL Server, PosgreSQL, Oracle, ODBC, SQLite, DB2, Interbase
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
-
6
-
7
A new, strictly lean, mean & clean and very portable implementation of the standard unix shell, for it to be extended and ported to other operating systems without hassle.
-
8
OnGui is an open source cross-platform GUI API. Goals are to be simple to learn and use, small and lean, and use C++ in an elegant way. A further goal is to be compatible enough with GTK that both can be used by an application without excessive overhead.
-
9
Sparta is a lightweight Java XML package that includes an XML parser, a DOM, and an XPath interpreter. The code-size is small, the parser is fast, the object memory size is small, and the DOM API is clean and simple.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
10
-
11
Jakarta Tomcat - Java + Python => Lean, Fast, and Mean. As this project is in the inital planning phase, any feedback you provide will be greatly appreciated, and will probably have a significant impact on the final product.
-
12
Text::FastTemplate is yet another template module written in Perl. So why use this module instead of one of the other template modules? Well...it's ultra simple. It's fast. It's lean. It completely separates the presentation from the application logic.
-
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
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. ... -
15
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. ... -
16
Jares is a lean, standalone library implemented in Java that provides a Rails ActiveResource-compatible client for consuming RESTful Rails based Web services.
-
17
Java Manufacturing Components Project, is an Open Source Project that give the core infraestructure to build an Entire Manufacturing System that includes 3 main Lean Manufacturing Methods 1.- Batch Production, 2.- Job Production and 3.- Continuous Produc
-
18
Modular EtherCAT master stack targeting real-time industrial control. Configurable anywhere from a lean-and-mean basic stack to a full-fledged EtherCAT master.
-
19
yalCMS (Yet Another Lean Content Management System) is a CMS especially intended for small, private websites running on a private or hosted server. Its main target is to provide an easy-to-use technology, so that everyone (even my mum) can use it.