Search Results for "lean"
Sort By:
Showing 62 open source projects for "lean"
View related business solutions-
$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.
-
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.
-
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
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. -
3
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. ... -
4
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. -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
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. -
6
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. -
7
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. -
8
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. -
9
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. -
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
10
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. ... -
11
Foxglove Studio
Robotics visualization and debugging
Foxglove Studio is an open-source visualization and debugging tool for robotics. Use customizable layouts to arrange interactive visualizations and quickly understand what your robot is doing. Use Foxglove Studio's rich interactive visualizations to analyze live connections and pre-recorded data. Experience the world as your robot does. Visualize images and point clouds, overlay bounding boxes, add classification labels and planned movements, and drill down into your data with plots or raw... -
12
Cheerio
Implementation of core jQuery designed for the server
Fast, flexible & lean implementation of core jQuery designed specifically for the server. Cheerio implements a subset of core jQuery. Cheerio removes all the DOM inconsistencies and browser cruft from the jQuery library, revealing its truly gorgeous API. Cheerio works with a very simple, consistent DOM model. As a result parsing, manipulating, and rendering are incredibly efficient. -
13
HTTP Kit
Clojure HTTP server/client library with WebSocket support
...Here is another test about how it stacks up with others. It's not only fast, but efficient! Each connection costs nothing but a few kB of memory. RAM usage grows O(n) with connections. Written from the ground-up to be lean, the entire client/server is available as a single ~90kB JAR with zero dependencies and ~3k lines of (mostly Java) code. Synchronous is simple. Asynchronous is fast & flexible. -
14
Markdown Any Decision Records
Markdown Architectural Decision Records
MADR is a lean template to capture any decisions in a structured way. The template originated from capturing architectural decisions and developed to a template allowing to capture any decisions taken. MADR is a template allowing to craft short, medium-sized, and large decision records. There is no formal definition of short, medium-sized, and large decision records. -
15
Hanami
A flexible framework for maintainable Ruby apps
...It emphasizes separation of concerns, encouraging developers to structure applications into clear layers of controllers, views, entities, and repositories. Each component—like the router, model layer, or view rendering engine—can be used independently, which gives developers flexibility to build lean applications. Hanami promotes immutability, plain old Ruby objects, and minimized global state, which makes codebases more maintainable and testable. It supports multi-application setups within the same project, making it well-suited for larger service-oriented architectures. The framework is designed to provide Rails-like productivity while encouraging more explicit architecture and performance-conscious choices. -
16
Hugo PaperMod
A fast, clean, responsive Hugo theme
...Client-side search, code highlighting, social links, and comment integrations can be enabled with simple configuration, avoiding custom JavaScript for most needs. The theme ships with SEO-friendly meta tags, Open Graph/Twitter cards, and RSS feeds to improve discoverability. Because it’s engineered for speed—lean HTML, minimized assets, and Hugo’s native rendering—it delivers excellent performance scores out of the box. -
17
dnd kit
Accessible and extensible drag & drop toolkit for React
...The core of the library weighs around 10kb minified and has no external dependencies. It's built around built-in React state management and context, which keeps the library lean. Customize every detail: animations, transitions, behaviours, styles. Build your own sensors, collision detection algorithms, customize key bindings and so much more. -
18
CSS Inspiration
Curated collection of interesting, creative, or inspiring CSS effects
...The collection ranges from micro-interactions and loaders to 3D transforms, complex backgrounds, hover states, and text effects, each presented as a small, self-contained demo. Source code is front and center, encouraging developers to study, copy, and tweak snippets for their own projects. Many examples lean on contemporary features—custom properties, filters, blend modes, gradients, and keyframes—serving as both inspiration and a practical cookbook. Because each demo focuses on a single idea, it’s an effective way to learn new techniques without wading through a full framework. The project thrives on experimentation and community interest, making it a frequent reference for designers, front-end engineers, and educators who want visually striking yet lightweight solutions. -
19
Jspreadsheet CE
Javascript plugin to create web-based tables & spreadsheets
Jspreadsheet CE is a lightweight Vanilla JavaScript data grid plugin to create amazing web-based interactive HTML tables, and spreadsheets compatible data grid with other spreadsheet software. You can create an online spreadsheet table from a JS array, JSON, CSV or XSLX files. You can copy from excel and paste straight to your Jspreadsheet CE spreadsheet and vice versa. It is very easy to integrate any third party JavaScript plugins to create your own custom columns, custom editors, and... -
20
tsup
The simplest and fastest way to bundle your TypeScript libraries
tsup is a zero-config TypeScript/JavaScript bundler focused on developer speed and sensible defaults. It builds on extremely fast tooling under the hood to deliver near-instant feedback loops even in large monorepos. The design goal is to let you publish modern libraries without hand-crafting long build scripts: point it at an entry file and it emits multiple targets, formats, and type declarations. It handles common library needs out of the box—like generating both ESM and CJS, bundling... -
21
Dockside
Develop, stage and test on-prem or in your private cloud
...Dockside is a tool for provisioning lightweight access-controlled IDEs, staging environments and sandboxes - aka devtainers - on the local machines, self-hosted on-premises on bare metal or VM, or in the cloud. By provisioning a devtainer for every fork and branch, Dockside allows collaborative software and product development teams to take lean and iterative development and testing to a highly parallelized extreme. Use either the built-in VS Code-compatible Theia web-based IDE; any IDE like VS Code or JetBrains, Eclipse, Atom or Sublime that supports remote development over SSH; or any console text editor. Terminal and SSH with root access. -
22
Giraffe
A native functional ASP.NET Core web framework for F# developers
A functional ASP.NET Core micro web framework for building rich web applications. Giraffe is an F# micro web framework for building rich web applications. It has been heavily inspired and is similar to Suave, but has been specifically designed with ASP.NET Core in mind and can be plugged into the ASP.NET Core pipeline via middleware. Giraffe applications are composed of so called HttpHandler functions which can be thought of a mixture of Suave's WebParts and ASP.NET Core's middleware.... -
23
Dropwizard
Simple library for building production-ready RESTful web services
...Its goal is to provide performant, reliable implementations of everything a production-ready web application needs. Because this functionality is extracted into a reusable library, your application remains lean and focused, reducing both time-to-market and maintenance burdens. -
24
_s
Inactive project
Underscores is a no-frills WordPress starter theme engineered to give developers a clean, standards-based foundation for building custom themes. It provides semantic templates, accessibility-minded markup, and a minimal stylesheet that sets sensible defaults without imposing a visual identity. The codebase includes template tags, custom header and menu scaffolding, widget areas, and translation-ready strings to speed up common theme tasks. Its structure is intentionally opinionated about... -
25
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.
