TLC is an explicit state model checker for specifications in TLA+
A simple and easy-to-use library to enjoy videogames programming
The property-based testing library for Python
Python Cheat Sheet
Compose Multiplatform Navigation && State Management
Fluent assertions for Java and Android
cuda-oxide is an experimental Rust-to-CUDA compiler
Core database component for the Realm Mobile Database SDKs
My TV·〇 TV video playback device can customize the TV source
Skill that conforms to the academic expression and scientific research
Client library for using AWS IoT Jobs service on embedded devices
Kotlin Multiplatform lifecycle-aware business logic components
A small library for converting tokenized PHP source code into XML
Object-functional library that runs with Java 8+
Python and JavaScript bindings for calling the Earth Engine API
The idiomatic way to use atomic operations in Kotlin
Python programs, usually short, of considerable difficulty
Monads and popular FP abstractions, powered by Go 1.18+ Generics
GraphQL in Python Made Easy
Quickstart configs for Nvim LSP
Playground and cheatsheet for learning Python
Transpiler of Python to many other languages
Cutting-edge tools powering Angular full-stack development
Payload launcher and serial number checker for Nintendo Switch
Vue 3 UI library, highly customizability, full TypeScript, performance