Search Results for "lean"

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. ...

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.

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.

...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.

...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.