Search Results for "lean"
Sort By:
31 projects for "lean" with 2 filters applied:
-
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.
-
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.
-
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. -
$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.
-
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... -
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.
-
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
SSLScan queries SSL services, such as HTTPS, in order to determine the ciphers that are supported. SSLScan is designed to be easy, lean and fast. The output includes prefered ciphers of the SSL service, the certificate and is in Text and XML formats.
-
24
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.
-
25
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
