Search Results for "lean"
Sort By:
Showing 208 open source projects for "lean"
View related business solutions-
Ship Agents FasterGemini 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.
-
$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.
-
1
Lean 4
Lean 4 programming language and theorem prover
...One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform. -
2
Lean Copilot
LLMs as Copilots for Theorem Proving in Lean
LeanCopilot integrates large language models (LLMs) as copilots for theorem proving in the Lean proof assistant. It assists users by suggesting tactics, premises, and searching for proofs, thereby enhancing the efficiency of formal verification processes. LeanCopilot supports both built-in models from LeanDojo and custom models, offering flexibility for various use cases. -
3
Atlas OS
An open and lightweight modification to Windows
Atlas is an open-source, script-based modification for Windows that enhances usability, privacy, and performance. It strips unnecessary background services, disables telemetry, and includes gaming and latency optimizations to make Windows feel lean and fast for enthusiasts. -
4
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. ... -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
Laravel Forum
A slim, lean forum package designed for quick and easy integration
A slim, lean forum package designed for quick and easy integration in Laravel projects. -
6
DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
DeepSeek-Prover-V2 is DeepSeek’s specialized model for formal theorem proving, particularly targeting proof in Lean 4. The repository describes how they use recursive proof decomposition by prompting DeepSeek-V3 to break complex theorems into subgoals, synthesize proof sketches, and then combine them to bootstrap training data. They then fine-tune via reinforcement learning with binary correct/incorrect feedback to integrate informal reasoning with formal proof behavior. -
7
LinuxKit
A toolkit for building secure, portable and lean operating systems
LinuxKit, is a toolkit for building custom minimal, immutable Linux distributions. A toolkit for building secure, portable, and lean operating systems for containers. Designed for building and running clustered applications, including but not limited to container orchestration such as Docker or Kubernetes. Designed from the experience of building Docker Editions, but redesigned as a general-purpose toolkit. Designed to be managed by external tooling, such as Infrakit (renamed to deploykit which has been archived in 2019) or similar tools. ... -
8
Mailspring
A faster, leaner email client and fork of Nylas Mail
Mailspring is a fast and lean mail client that’s a new version of Nylas Mail. It’s maintained by one of Nylas Mail’s original authors, with plenty of great features and enhancements such as a new C++ sync engine that allows it to use 50% less RAM. Heavy dependencies have also been removed and the package manager rewritten for even greater speed. Written in TypeScript with Electron and React, it is cross-platform (macOS, Windows and Linux) and designed to be easy to extend. -
9
Leantime
Leantime is a goals focused project management system
Leantime is an open-source project management system designed to support idea management, task tracking, and project planning. It is a tool for startups and small teams looking for a lean project management approach. Leantime combines features like kanban boards, Gantt charts, and time tracking with a modern, intuitive interface, making it easy for teams to collaborate efficiently and keep projects on track. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
JENGINE
The solution that allows unity games update in runtime
...The development branch is the development branch. You are welcome to make changes and PRs in this branch after fork, and you are also welcome to submit issues! The purpose of JEngine is to provide lean, beautiful and efficient code functions for game developers. -
11
Lightning Web Components
A Blazing Fast, Enterprise-Grade Web Components Foundation
Lean, lightweight runtime optimized for performance, with minimal boilerplate code. Lightning Web Components uses standard HTML, modern JavaScript (ES6+), and the best of native Web Components. Leave abstractions behind and build custom elements with HTML, JavaScript, and CSS. Lightning web components are custom elements built using HTML and modern JavaScript. -
12
uBlock Origin
An efficient blocker for Chromium and Firefox
An efficient blocker add-on for various browsers. Fast, potent, and lean. uBlock Origin is not an "ad blocker", it is a wide-spectrum blocker, which happens to be able to function as a mere "ad blocker". The default behavior of uBlock Origin, when newly installed, is to block ads, trackers and malware sites through EasyList, EasyPrivacy, Peter Lowe’s ad/tracking/malware servers, Online Malicious URL Blocklist, and uBlock Origin's own filter lists. uBlock Origin (or uBlock₀) is not an ad blocker; it's a general-purpose blocker. uBlock Origin blocks ads through its support of the Adblock Plus filter syntax. uBlock Origin extends the syntax and is designed to work with custom rules and filters. ... -
13
FLARE VM
A collection of software installations scripts for Windows systems
...The environment configures paths, dependencies, environment variables, and common tool integrations so analysts can focus on tasks rather than setup. Updates and modular installation let users include only the tools that match their workflow, keeping the VM lean and current. Because security toolchains often clash (DLL versions, signing, privileges), FLARE VM’s packaging handles compatibility issues ahead of time. For investigations involving malware unpacking, sandboxing, static analysis, or code reversing on Windows, the platform dramatically accelerates readiness and consistency across analysts. -
14
gitoxide
An idiomatic, lean, fast & safe pure Rust implementation of Git
An idiomatic, lean, fast & safe pure Rust implementation of Git. gix is a command-line interface (CLI) to access git repositories. It's written to optimize the user experience and perform as well or better than the canonical implementation. Furthermore, it provides an easy and safe to use API in the form of various small crates for implementing your own tools in a breeze. -
15
libplist
A library to handle Apple Property List format in binary or XML
A small portable C library to handle Apple Property List files in binary, XML, JSON, or OpenStep format. -
16
Kondo
Cleans dependencies and build artifacts from your projects
...Excellent if you want to back up your code but don't want to include GBs of dependencies, or if you want to back up your code but don't want to include GBs of dependencies, or if you like keeping your disks lean and zippy. -
17
DevHub Application
A feature-rich offline application
A feature-rich offline application, carefully crafted to support developers' daily tasks and ensure the highest security for their data. I am actively developing it with a bold goal in mind: to release updates weekly. I strive to maintain a lean footprint, aiming to curate an extensive collection comprising over 100 utilities, providing developers with a diverse array of tools. This initiative reflects my commitment to continuous improvement, offering rich tools to empower developers. DevHub is more than just a coding companion. -
18
circuitikz
CircuiTikZ TeX/LaTeX package for drawing circuits
...It was born mainly for writing Massimo Redaelli's exercise book and exam sheets for the Elettrotecnica courses at Politecnico di Milano, Italy. He wanted a tool that was easy to use, with a lean syntax, native to LaTeX, and supporting direct PDF output format. circuitikz is included with the most common LaTeX systems, so it should work out of the box. Anyway, the main dependency is on TikZ/PGF, xstring and siunitx. -
19
React Native for Windows
A framework for building native Windows apps with React
Bring your React Native apps to some of the most powerful devices out there. Take your apps across PC, Xbox, Surface Tablets, and dual-screens with our robust Windows extension to React Native. Extend your desktop experience to more than just Windows! Try out our fully supported macOS extension to React Native. React Native for Windows + macOS brings React Native support for the Windows 10 SDK as well as the macOS 10.13 SDK. With this, you can use JavaScript to build native Windows apps for... -
20
MicroPython
Python implementation for microcontrollers and constrained systems
MicroPython is a lean and efficient implementation of the Python 3 programming language that includes a small subset of the Python standard library and is optimised to run on microcontrollers and in constrained environments. The MicroPython pyboard is a compact electronic circuit board that runs MicroPython on the bare metal, giving you a low-level Python operating system that can be used to control all kinds of electronic projects. -
21
One-Person Company
One-Person Company AI Tools Series
One Person Company is an open-source project that provides a conceptual and technical framework for building fully automated businesses powered by AI agents, enabling individuals to operate scalable digital ventures with minimal human intervention. It explores the idea of leveraging AI tools for tasks such as content generation, marketing, customer support, and product development, effectively replacing traditional team structures with intelligent automation. The repository includes... -
22
Lepton
A lean snippet manager
Lepton is a beautiful open source snippet manager for ubuntu. Manage your Github gists with support for tags, search and sharing. Lepton features a rich-text editor and markdown viewer. Try the snap today! Lepton's can be customized by <home_dir>/.leptonrc! Theme (light/dark), Snippet, Editor, Logger, Proxy, Shortcuts, Enterprise, Notifications, and more! Check out the configuration docs to explore different customization options. Lepton is an open source project on GitHub. It's free and we... -
23
Solon
Java enterprise application development framework
Solon is a full-scenario Java enterprise application framework that positions itself as a lean, high-performance alternative to heavy stacks. It advertises large concurrency gains, lower memory use, much faster startup, and dramatically smaller packages while remaining compatible from Java 8 through Java 24. The framework focuses on restrained APIs and an open ecosystem, with modules that cover web, data, cloud, and microservice patterns. -
24
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. -
25
The Agda standard library
The Agda standard library
...It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean.