Search Results for "lean"
Sort By:
Showing 5 open source projects for "lean"
View related business solutions-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. ... -
2
Swift Numerics
Advanced mathematical types and functions for Swift
Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics... -
3
JyNV
Jupyter Notebook Frontend
Lean Webkit (QtWebKit) based Browser for Jupyter/IPython notebooks. -
4
Bika Open Source LIMS
Web based Open Source laboratory information management system (LIMS)
Modern Open Source LIMS (Laboratory Information Management System) · Professionally supported by experts The Bika code was migrated to https://github.com/bikalims Getting Started: https://github.com/bikalims/bika.lims/blob/main/README.md Modern Bika releases are built on the Senaite LIMS core, the LIMS that originated as a Bika fork. It is therefore as new and modern as Senaite, frequently upgraded and has many very useful add-ons. Bika expands on Senaite's lean design by adding modules for bulk sample importing, two tier Sample Point Locations, instrument result importers extra COA templates etc. while remaining within ISO 17025 guidelines Other differentiation is per lab discipline, e.g. branches for environmental management, health care, geochemistry snd cannabis. User Manual: www.bikalims.org/new-manual Videos: www.bikalims.org/resources/bika-lims-videos Screenshots: www.bikalims.org/resources/screenshots Supported by Bika Lab Systems, www.bikalabs.com -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
5
ĄHola!, for "Hordes of Little Atoms," is a project to develop a lean, modular, scalable toolkit for massive simulations of particle (molecular) dynamics. It is written in C and Python to get the best balance between programmer and run time.
- Previous
- You're on page 1
- Next