Documentation for developers and other people who might want to read it.
☆26Aug 22, 2024Updated 2 years ago
Alternatives and similar repositories for notation
Users that are interested in notation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆25Aug 1, 2026Updated last month
- A professionally designed, customizable LaTeX resume template with Docker and GitHub Actions for automated builds.☆29Jul 22, 2026Updated last month
- Shimmerfy is a lightweight and customizable library for integrating shimmer animations into your Jetpack Compose applications. It provide…☆13Mar 9, 2024Updated 2 years ago
- Parse your Postgres queries into a 100% type-safe AST (powered by libpg_query)☆212Dec 5, 2024Updated last year
- Simple poll clone Slack app to self host for unlimited votes☆10Dec 11, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Oct 19, 2024Updated last year
- Generalized indexing, search, and change subscriptions for Deno KV☆15Sep 14, 2023Updated 2 years ago
- ☆21Jun 17, 2026Updated 2 months ago
- Slog handler to temporary deliver formatted verbose logs to an arbitrary target☆14Jun 22, 2024Updated 2 years ago
- ☆13Apr 13, 2025Updated last year
- A tool to shift-left sensitive changes on your Android deployable archives☆14Jul 28, 2026Updated last month
- Gradle Plugin to automatically detect unused code on your Kotlin or Android project☆13Jul 30, 2025Updated last year
- A city animation that fits in a tweet☆17May 28, 2024Updated 2 years ago
- 🗺️ Tacking the user distance traveled and time taken using the google maps API☆12Aug 9, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Event system built in kotlin, meant to be fast and thread safe.☆12Mar 21, 2025Updated last year
- AndroidX ExifInterface with an extended API☆19Updated this week
- ☆10Nov 11, 2020Updated 5 years ago
- Example rabbitmq rpc pattern using messaging pattern (Request & Reply)☆12Aug 23, 2023Updated 3 years ago
- Wikipedia-like interface for querying an OLLAMA language model. Users can input their queries, and the app will generate informative resp…☆13Nov 4, 2024Updated last year
- 📻 Light library for custom radio button with image functionality☆10Jun 30, 2026Updated 2 months ago
- Nginx real-time monitoring☆12Nov 20, 2024Updated last year
- Decoding an ancient Indian epic containing 718 languages written entirely in a numerical script.☆24Aug 2, 2025Updated last year
- MQTT android client☆17Jun 17, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ASKER generates tons of questions from a definitions input file.☆19Mar 31, 2026Updated 5 months ago
- ☆13Jan 6, 2025Updated last year
- Docker Compose setup for multi-hostname Let's Encrypt-secured websites.☆11Oct 11, 2017Updated 8 years ago
- A collection of custom key/value storage backends for Go☆22Dec 29, 2022Updated 3 years ago
- A Full Stack demo app with gRPC and Modern Android Development/Svelte to keep up with today's standards.☆13Updated this week
- A common database library for managing and querying security data☆18Jan 12, 2026Updated 7 months ago
- The repository contains the sample templates to get started with AWS EKS quickly☆11Jan 29, 2024Updated 2 years ago
- ☆14May 24, 2022Updated 4 years ago
- Simple Timeline View, wrote via Kotlin Jetpack Compose.☆15Jul 13, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 11 months ago
- ☆10Feb 13, 2022Updated 4 years ago
- Functional Kotlin friendly way to create command line applications.☆17May 7, 2025Updated last year
- CLI tool to block distracting websites and boost productivity.☆174May 17, 2026Updated 3 months ago
- Search Google from CLI☆10Nov 5, 2022Updated 3 years ago
- A clone of Poll Everywhere☆10Jun 17, 2017Updated 9 years ago
- Powerful, automatic ”watch mode” for scripts reliant on filesystem access (built on Chokidar)☆22Jul 1, 2025Updated last year