TLC is an explicit state model checker for specifications in TLA+
A collection of samples on how to call Google Cloud services
Code samples used on cloud.google
Your Cheat Sheet For Java To Kotlin
Give your JS app some Backbone with models, views, and collections
A library to generate LaTeX expression from Python code
The statistical language R compiled to WebAssembly via Emscripten
A pre-commit hook for Ruff
Lightweight, robust, elegant syntax highlighting
User-friendly Go library for building Grafana dashboards
Interface mocking tool for go generate
Dark GitHub style
React patterns, techniques, tips and tricks
Full stack components and low-code builder for dashboards and internal
Cross platform toolkit for creative coding in C++
Simple DirectMedia Layer
Visual Studio IDE for writing F# programs
A Swift Autolayout DSL for iOS & OS X
Collection of common code shared among different research projects
Kotlin Multiplatform lifecycle-aware business logic components
Annotation processing library for type-safe Jetpack Compose navigation
A library for creating reactive web apps in Rust and WebAssembly
An image library for Julia
A C library for asynchronous DNS requests
Apache Log4net is a versatile, feature-rich, efficient logging API