kotlin-satlib
leakcanary
Our great sponsors
kotlin-satlib | leakcanary | |
---|---|---|
1 | 15 | |
8 | 29,079 | |
- | 0.4% | |
8.5 | 8.3 | |
26 days ago | 1 day ago | |
Kotlin | Kotlin | |
GNU General Public License v3.0 only | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
kotlin-satlib
-
kotlin-satlib: SAT solver wrappers for Kotlin
Hi folks, I want to present you a small, yet powerful, library (https://github.com/Lipen/kotlin-satlib) that provides an API for SAT solvers and implements some common operations for constraint programming, such as: handling finite-domain variables (e.g.: int in a small range; custom enum; set of values), storing named "variables" in the context, encoding common logic operations over SAT literals (Tseytin-encoded, when necessary), declaring cardinality constraints (for now, only Totalizer encoding is supported, but it works pretty well in general), solving AllSAT.
leakcanary
-
25 Best Android Libraries, Projects, and Tools You Wonβt Want to Miss Out in 2021
Knowing when root views are detached, e.g. to detect if they might be leaking (LeakCanary).
-
Android Dev Tools - Become a Master with these Tools, Collaborate Better
LeakCanary
-
When you think you've seen everything
Ah, I see you work at Samsung.
-
Tips and Tricks for GitHub Actions
LeakCanary has a checks job that runs on each push to the main branch and on each pull request. They wanted to add support for snapshot deployment, in order to finally retire Travis CI. To make this happen, I simply added a new job to the same workflow, having it run only on push events and have a dependency on the checks job. This ensures that there won't be a snapshot deployment until all tests are passing on the main branch. The relevant parts of the workflow configuration are here:
What are some alternatives?
AAIdrive - Implementations of some Android Auto features as unofficial IDrive apps
blockcanary - Find the block code in android app
ANR-WatchDog - A simple watchdog that detects Android ANR (Application Not Responding) error and throws a meaningful exception
TextViewRichDrawable - Android TextView with rich support of compound drawables
FGA - Auto-battle app for F/GO Android
kmm-production-sample - This is an open-source, mobile, cross-platform application built with Kotlin Multiplatform Mobile. It's a simple RSS reader, and you can download it from the App Store and Google Play. It's been designed to demonstrate how KMM can be used in real production projects.
Hide-My-Applist - An Xposed module to intercept applist detections
quillnote - Take beautiful markdown notes and stay organized with task lists.
Jaeger client - π This library is DEPRECATED!
zipkin - Zipkin is a distributed tracing system
chucker - π An HTTP inspector for Android & OkHTTP (like Charles but on device)
Flowable (V6) - A compact and highly efficient workflow and Business Process Management (BPM) platform for developers, system admins and business users.