11 Repositories
Android safety Libraries
Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!
Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!
A women safety project built in Android Studio.
⚡ Spark Women - A Women Safety Application Feel Safe Everywhere Women Safety App is user friendly application built in Android Studio, it is simple to
Bring type-safety to your GitHub actions' API!
GitHub Actions typing Bring type-safety to your GitHub actions' API! This is a GitHub action that validates your action's type specs (action-types.y(a
It is far easier to design a class to be thread-safe than to retrofit it for thread safety later
"It is far easier to design a class to be thread-safe than to retrofit it for thread safety later." (Brian Goetz - Java concurrency: Publisher: Addiso
Kotlin code generation for commercetools platform type-safe product-types, reference expansion and custom fields
Kotlin code generation for commercetools platform type-safe product-types, reference expansion and custom fields
A small and simple, yet fully fledged and customizable navigation library for Jetpack Compose
A small and simple, yet fully fledged and customizable navigation library for Jetpack Compose
One app for all women that covers everything from safety to health and more. 👩💪
sampoorna Sampoorna is a one-in-all solution concept revolving around the women who fight one on one with various problems. With it's features encapsu
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
Kotlin∇: Type-safe Symbolic Differentiation for the JVM Kotlin∇ is a type-safe automatic differentiation framework written in Kotlin. It allows users
A type-safe implementation for collections that cannot be empty. Life is too short for emptiness-checks!
NonEmptyCollections Making the world a little more type-safe 🌍 🏆 Reduce the need for emptiness checks and reduce unsafe APIs with NonEmptyCollection
typedmap is an implementation of heterogeneous type-safe map pattern in Kotlin
Typedmap typedmap is an implementation of heterogeneous type-safe map pattern in Kotlin. It is a data structure similar to a regular map, but with two
An ORM for Android with type-safety and painless smart migrations
Android Orma Orma is a ORM (Object-Relation Mapper) for Android SQLiteDatabase. Because it generates helper classes at compile time with annotation pr