Showing 15 open source projects for "lean"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch 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.
    Start Free Trial
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 1
    MathCode

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    LongCat-Image

    LongCat-Image

    Foundation model for image generation

    ...Rather than relying on massive parameter counts typical of many cutting-edge models, LongCat-Image achieves strong photorealism, stable structure, and accurate bilingual (Chinese and English) text rendering with a more compact ~6-billion parameter architecture, making it competitive with much larger alternatives despite its relatively lean design. The model excels at both text-to-image generation and instruction-guided image editing, offering users versatile capabilities for creative and practical tasks—whether generating art, mockups, or adjusting existing visuals with fine control.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    Pyper

    Pyper

    Concurrent Python made simple

    Pyper is a Python-native orchestration and scheduling framework designed for modern data workflows, machine learning pipelines, and any task that benefits from a lightweight DAG-based execution engine. Unlike heavier platforms like Airflow, Pyper aims to remain lean, modular, and developer-friendly, embracing Pythonic conventions and minimizing boilerplate. It focuses on local development ergonomics and seamless transition to production environments, making it ideal for small teams and individuals needing a programmable and flexible orchestration solution without the overhead of enterprise systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Open Gauss

    Open Gauss

    Project-scoped Lean workflow orchestrator from Math, Inc.

    Open Gauss is an enterprise-grade open-source relational database management system designed to handle large-scale data processing with high performance, reliability, and security. It is based on the PostgreSQL ecosystem but significantly extends its capabilities through architectural optimizations, AI-driven features, and enterprise-level enhancements. The database organizes data using the relational model, storing structured information in tables composed of rows and columns while...
    Downloads: 1 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 5
    Swift Numerics

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    nanochat

    nanochat

    The best ChatGPT that $100 can buy

    nanochat is a from-scratch, end-to-end “mini ChatGPT” that shows the entire path from raw text to a chatty web app in one small, dependency-lean codebase. The repository stitches together every stage of the lifecycle: tokenizer training, pretraining a Transformer on a large web corpus, mid-training on dialogue and multiple-choice tasks, supervised fine-tuning, optional reinforcement learning for alignment, and finally efficient inference with caching. Its north star is approachability and speed: you can boot a fresh GPU box and drive the whole pipeline via a single script, producing a usable chat model in hours and a clear markdown report of what happened. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    xLaDe

    xLaDe

    A Lean 4 Ecosystem Framework!

    Lean 4 proofs break silently across versions. Projects built on Lean drift from upstream until one day they simply stop working. Nobody knows why. These are not edge cases. They are the normal experience of working with a proof assistant under rapid development. xLaDe is a research platform that studies these problems and builds tooling to address them.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8
    PyAppExec

    PyAppExec

    Launcher that prepares Python/deps and runs your app like OS-native

    ...The Qt-based installer can scaffold pyappexec.ini, copy/rename the launcher, and (on macOS) bundle a self-contained .app with icons. The optional run-time GUI captures logs, while CLI mode stays lean for automation. Config is driven by a simple INI per OS, so app IDs, entry points, requirements, and paths are declarative. PyAppExec also manages user-level caches/state, log rotation, and GUI suppression preferences letting you ship Python apps without asking end users to touch Python, virtualenvs, or package managers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    VectorDB

    VectorDB

    A Python vector database you just need, no more, no less

    ...It's readily deployable in a variety of environments, from local to on-premise and cloud. vectordb delivers exactly what you need - no more, no less. It's a testament to effective Pythonic design without over-engineering, making it a lean yet powerful solution for all your needs. vectordb capitalizes on the powerful retrieval prowess of DocArray and the scalability, reliability, and serving capabilities of Jina. Here's the magic: DocArray serves as the engine driving vector search logic, while Jina guarantees efficient and scalable index serving. This synergy culminates in a robust, yet user-friendly vector database experience, that's vectordb for you.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 10
    Yapsy

    Yapsy

    A fat-free DIY Python plugin management toolkit.

    A simple framework for plugin system development with as few dependencies as possible. It is designed to offer a set of very lean classes (plugin managers and plugin interfaces) which can easily be customised by decoration or inheritance. Yapsy v1.x supports Python2 and Python3. Its source package contains versions of the sources for both pythons. Yapsy v2+ supports Python 3 and it's development happens now on https://github.com/tibonihoo/yapsy/ Usage samples, advices and developer's documentations are available on the main website.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11

    JyNV

    Jupyter Notebook Frontend

    Lean Webkit (QtWebKit) based Browser for Jupyter/IPython notebooks.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Bika Open Source LIMS

    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Ą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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Leanstral

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo