Search Results for "lean" - Page 7

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.

(Yet another) lean Linux distribution with a BSD-like ports conception.

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

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

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

Jares is a lean, standalone library implemented in Java that provides a Rails ActiveResource-compatible client for consuming RESTful Rails based Web services.

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

Modular EtherCAT master stack targeting real-time industrial control. Configurable anywhere from a lean-and-mean basic stack to a full-fledged EtherCAT master.

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.