Search Results for "lean"
Sort By:
Showing 203 open source projects for "lean"
View related business solutions-
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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
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
lean-side-bussiness
Guide to building and running lean side businesses
A pragmatic guide to building and running lean side businesses, oriented toward solo developers and small teams. It collects experience-based notes, checklists, and lightweight frameworks for validating ideas quickly before investing significant time or money. The emphasis is on shipping fast, narrowing scope, and focusing on channels that predictably convert rather than chasing vanity metrics. -
4
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. -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
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
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. -
7
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. -
8
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. ... -
9
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. -
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.
-
10
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. ... -
11
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. -
12
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. -
13
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. -
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
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. -
16
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. -
17
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. -
18
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. -
19
Hermes JS Engine
A JavaScript engine optimized for running React Native
Hermes-powered apps launch faster, thanks to build-time precompilation of JavaScript into efficient bytecode. Hermes is small in APK size, lean on memory, and starts instantly. It won't weigh your app down. It's simple to get started with Hermes in React Native apps. Hermes is open source and implements JavaScript standards. You will now be in a directory with the output of building Hermes into CLI tools. From here you can run a piece of JavaScript. If you have an existing app based on an earlier version of React Native, you will have to upgrade it first. ... -
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
Nuke
Image loading system
...Its architecture enables many powerful features while offering virtually unlimited possibilities for customization. Despite the number of features, the framework is lean and compiles in just under 3 seconds¹. Nuke has an automated test suite 2x the size of the codebase itself, ensuring excellent reliability. Every feature is carefully designed and optimized for performance. Fast LRU memory cache, native HTTP disk cache, and custom aggressive LRU disk cache. Customize image pipeline using built-in Alamofire, Gifu, FLAnimatedImage, WebP plugins or create your own. ... -
22
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... -
23
FerrumC
A reimplementation of the minecraft server in rust
...By using Rust’s concurrency and safety guarantees, FerrumC runs fully multithreaded, allowing it to utilize all available CPU cores — which helps deliver smoother, low-latency, high-throughput multiplayer experiences. The project aims both at providing a fast, lean server for typical use (friends or small communities) and offering a foundation that could support large-scale servers, mod/plugin systems, and custom server configurations. FerrumC supports importing existing Minecraft worlds, making it easy for users to migrate from standard servers without losing progress. Its networking, world encoding (chunks, NBT, Anvil format), and entity systems are custom-built with efficiency in mind, which results in fast world loading, minimal I/O lag. -
24
apfel
Apple Intelligence from the command line
apfel is a lightweight and likely experimental development project focused on building efficient and minimal tools or frameworks, typically emphasizing simplicity, performance, and clean abstractions. The project appears to follow a philosophy of reducing unnecessary complexity while still enabling practical functionality for developers who prefer lean systems over heavy frameworks. It is designed to be adaptable, allowing developers to extend or modify its behavior depending on their specific use case. Apfel may include utilities or structural patterns that streamline development workflows, particularly in environments where speed and clarity are more important than feature richness. ... -
25
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.
