Search Results for "lean"
Sort By:
69 projects for "lean" with 1 filter applied:
-
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.
-
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.
-
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
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. -
4
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. -
$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
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... -
6
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. -
7
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. -
8
nanochat
The best ChatGPT that $100 can buy
nanochat is a from-scratch, end-to-end “mini ChatGPT” that shows the entire path from raw text to a chatty web app in one small, dependency-lean codebase. The repository stitches together every stage of the lifecycle: tokenizer training, pretraining a Transformer on a large web corpus, mid-training on dialogue and multiple-choice tasks, supervised fine-tuning, optional reinforcement learning for alignment, and finally efficient inference with caching. Its north star is approachability and speed: you can boot a fresh GPU box and drive the whole pipeline via a single script, producing a usable chat model in hours and a clear markdown report of what happened. ... -
9
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. ... -
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
Qualify
Claude code to help you do lead research and qualification
...Built with simplicity and extensibility in mind, the project includes REST APIs, database models, and a user interface that can be extended or embedded into existing internal systems. Because it prioritizes lean data structures and predictable code paths, developers can customize pipelines, fields, and behaviors to align with their unique business logic. -
11
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. -
12
Counter
Web Analytics made simple
counter.dev is a minimal web analytics server that prioritizes simplicity, speed, and privacy. The backend is designed to be resource-light while still providing the essential metrics teams care about, such as page views, referrers, and basic geography. Rather than storing everything in a monolithic database, it combines a fast in-memory store for hot data with archival to a traditional SQL store for long-term retention. The client snippet is tiny and cookieless, which helps reduce layout... -
13
Swift Numerics
Advanced mathematical types and functions for Swift
Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics... -
14
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. -
15
Open Gauss
Project-scoped Lean workflow orchestrator from Math, Inc.
Open Gauss is an enterprise-grade open-source relational database management system designed to handle large-scale data processing with high performance, reliability, and security. It is based on the PostgreSQL ecosystem but significantly extends its capabilities through architectural optimizations, AI-driven features, and enterprise-level enhancements. The database organizes data using the relational model, storing structured information in tables composed of rows and columns while... -
16
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. -
17
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. -
18
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... -
19
Preline UI
Preline UI is an open-source set of prebuilt UI components
...Preline also offers setup guidance and integration examples so teams can get started rapidly within their Tailwind projects. Because it follows Tailwind’s conventions, it integrates smoothly with other Tailwind-first tools and workflows, maintaining a lean stylesheet footprint and maximizing flexibility. -
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
DeepGEMM
Clean and efficient FP8 GEMM kernels with fine-grained scaling
...One distinguishing aspect is that DeepGEMM compiles its kernels at runtime (via a lightweight Just-In-Time (JIT) module), so users don’t need to precompile CUDA kernels before installation. Despite its lean design, it includes scaling strategies (fine-grained scaling) and optimizations inspired by cutting edge systems (drawing from ideas in CUTLASS, CuTe) but in a more streamlined form. -
22
_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... -
23
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. -
24
Outline Client
Outline clients, developed by Jigsaw
Outline clients, developed by Jigsaw. The Outline clients use the popular Shadowsocks protocol, and lean on the Cordova and Electron frameworks to support Windows, Android / ChromeOS, Linux, iOS and macOS. The Outline Client is a cross-platform VPN or proxy client for Windows, macOS, iOS, Android, and ChromeOS. The Outline Client is designed for use with the Outline Server software, but it is fully compatible with any Shadowsocks server. -
25
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.