Showing 5 open source projects for "lean"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch 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.
    Start Free Trial
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
    Try Auth0 for Free
  • 1
    Hermes JS Engine

    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. ...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 2
    xLaDe

    xLaDe

    A Lean 4 Ecosystem Framework!

    Lean 4 proofs break silently across versions. Projects built on Lean drift from upstream until one day they simply stop working. Nobody knows why. These are not edge cases. They are the normal experience of working with a proof assistant under rapid development. xLaDe is a research platform that studies these problems and builds tooling to address them.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    Outline Client

    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.
    Downloads: 70 This Week
    Last Update:
    See Project
  • 4
    ButterKnife

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 5
    Lint Cleaner Plugin

    Lint Cleaner Plugin

    A Gradle Plugin that removes unused resources in Android projects

    ...Over time, Android projects can accumulate unused strings, drawables, layouts, or other resources, which increase build sizes and reduce maintainability. This plugin scans the codebase to detect and safely remove these unused entries, ensuring that the app remains lean. It integrates with Android’s lint checks, giving developers immediate feedback during the build process. The tool can also generate reports that highlight where optimizations are possible, making cleanup transparent. By automating the detection and removal of dead resources, it reduces technical debt and improves both the readability and efficiency of Android apps.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo