Search Results for "lean"
Sort By:
30 projects for "lean" with 2 filters applied:
-
$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.
-
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.
-
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
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. -
4
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. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
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. -
6
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. -
7
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. -
8
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... -
9
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... -
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
_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... -
11
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. -
12
Native File Dialog
Neat C library that portably invokes native file open and save dialogs
A tiny, neat C library that portably invokes native file open, folder select, and save dialogs. Write dialog code once and have it pop up native dialogs on all supported platforms. Avoid linking large dependencies like wxWidgets and qt. Tested, works alongside libsdl on all platforms, for the game developers out there. -
13
Effeckt.css
A Performant Transitions and Animations Library
...It catalogs common interaction patterns—button states, list reveals, modals, off-canvas menus, and page transitions—implemented with CSS transforms and opacity for smooth, GPU-friendly motion. The project focuses on practical details such as using compositing-friendly properties, keeping DOM structures lean, and providing hooks so JavaScript can toggle classes without micromanaging animation state. Each effect is isolated, documented, and demoed, allowing designers to copy just what they need rather than dragging in a monolithic framework. By standardizing names and behaviors, it helps teams keep motion design consistent across a product while remaining easy to theme. ... -
14
The Lean Mean C++ Option Parser
A no-dependencies C++ program arguments parser
The Lean Mean C++ Option Parser handles the program arguments (argc, argv). It supports the short and long option formats of getopt(), getopt_long() and getopt_long_only() but has a more convenient interface. It is a freestanding, header-only library with no dependencies, not even libc or STL. It comes with a usage message formatter that supports column alignment and line wrapping, making it ideal for localized messages with different lengths. -
15
ButterKnife
Bind Android views and callbacks to fields and methods
...Developers replace repetitive findViewById calls with BindView fields and define UI event handlers using annotations like @OnClick, with the library generating efficient binding code at compile time. Because it relies on annotation processing, there’s no reflection at runtime, keeping startup paths lean and predictable. The generated bind/unbind lifecycle helps avoid memory leaks by clearing references when views are destroyed. Butter Knife made UI code more readable and maintainable for years, especially in large codebases with complex layouts and many event hooks. While newer Android APIs now offer official view binding alternatives, the project remains a landmark example of how code generation can simplify everyday Android development. -
16
Agilefant
The scalable open source tool for lean and agile project management
Agilefant is a simple but powerful web based tool for lean and agile project management. It is the most versatile open source solution of its kind today, with a rapidly growing user base of more than 10k users around the world in thousands of organizations. Based on more than ten years of solid scientific research within real world organizations, Agilefant's unique model scales from personal todo-lists to large-scale multi-team development and long-term product and portfolio management. ... -
17
A full-featured, lean set of date/ time classes to replace java.util's Date and Calendar. All objects are immutable/threadsafe, and allow formatting and various kinds of date math and range operations. Note that only GregorianCalendar is supported.
-
18
An extremely lean and ridiculously lightweight JEE/web action-based framework. This enterprise featured "framework on a diet" is designed and built on the premise that less is more. No steep learning curves or endless bloat.
-
19
kXML is a lean Common XML API with namespace and WAP support that is intended to fit into the JAVA KVM for limited devices like the Palm Pilot.
-
20
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
-
21
Qode is an C++ written Integrated Development Environment based on the Qt framework. It is specialised on C++ and aims to be as lean and user-friendly as possible by adding only the features a developer really needs.
-
22
simplus is c++ library for constructing event driven simulations with a virtual time. Use it e.g. for telecomm., engineering, traffic simulations or simulation based games. It is lean, fast and portable and easily scales to millions of simulated objects.
-
23
xrange is a complied extension that provides numeric iteration primitives to PHP. It includes a lean numeric range generator / iterator, modeled after Python's xrange() function. It's intended to be an alternative for all numeric iteration and looping.
-
24
PHPLights is a modern, lightweight and PHP5 based application development framework. It makes heavy use of PHPs object oriented features like interfaces, abstract classes and exceptions making the core library very lean, easy to understand and extens
-
25
The HTML sandpit allows you to experiment with HTML, CSS and Javascript and see the results on the same page. The sandpit is tiny - a lean version is less than 40 lines of mostly HTML and a small Javascript function. The sandpit can be used off-line.
