Documentation for developers and other people who might want to read it.
☆26Aug 22, 2024Updated last year
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:
- `chepo` : Easiest way to get mock data☆14Jul 4, 2026Updated last month
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆25Aug 1, 2026Updated last week
- A home-cooked bike routing service on OSM data☆10Mar 16, 2026Updated 4 months ago
- An improved Python interface to SQLite☆15Feb 4, 2023Updated 3 years ago
- Coding challenge for full stack Engineer DevOps/Cloud☆10Oct 7, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- An LED display showing subway arrivals, weather, air quality and the time☆14Aug 13, 2025Updated last year
- HTML conversion project☆16May 4, 2026Updated 3 months ago
- Clevent is an Android application developed for a Research that uses NFC technology to create a prepaid system using NDEF tags☆19Dec 29, 2024Updated last year
- ☆11May 24, 2023Updated 3 years ago
- EasyPrefs is a wrapper on the android shared preferences, also it will need only one-time initialization and used in the whole project wi…☆11Sep 30, 2023Updated 2 years ago
- ☆12Oct 19, 2024Updated last year
- Shelley-Godwin Archive☆15Jul 31, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆16Mar 27, 2022Updated 4 years ago
- A collection of cli programs from book: Powerful Command-Line Applications in Go: Build Fast and Maintainable Tools☆14Dec 8, 2023Updated 2 years ago
- KBuilder help you to generate builder pattern related class in Kotlin☆14May 23, 2022Updated 4 years ago
- Browser automation for Golang using Selenium and Cucumber☆11Aug 2, 2017Updated 9 years ago
- Repository for ru-syntax command line tool.☆15Mar 8, 2022Updated 4 years ago
- Saasfy. Build your own SaaS.☆13Jul 22, 2024Updated 2 years ago
- A city animation that fits in a tweet☆17May 28, 2024Updated 2 years ago
- CDK project that leverages an OpenAPI definition to define, document and create an Amazon API Gateway deployment. At deploy time, a Cloud…☆11Dec 24, 2024Updated last year
- Event system built in kotlin, meant to be fast and thread safe.☆12Mar 21, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- My website.☆16Dec 4, 2025Updated 8 months ago
- This is a simple script that parses python files in a directory and generates a mxfile containing a diagramm of classes, attributes and m…☆11Feb 23, 2023Updated 3 years ago
- Example rabbitmq rpc pattern using messaging pattern (Request & Reply)☆12Aug 23, 2023Updated 2 years ago
- Nginx real-time monitoring☆12Nov 20, 2024Updated last year
- Docker Compose setup for multi-hostname Let's Encrypt-secured websites.☆11Oct 11, 2017Updated 8 years ago
- Functionally test your web application through simple, readable Gherkin scripts. No programming required! For instructions, step definiti…☆14Nov 13, 2019Updated 6 years ago
- Adds an object wrapper on top of the Retriable gem☆12Aug 4, 2022Updated 4 years ago
- 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
- 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.
- Simple Timeline View, wrote via Kotlin Jetpack Compose.☆15Jul 13, 2022Updated 4 years ago
- ☆14May 24, 2022Updated 4 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 10 months ago
- 🦴 Integration Test using Dockertest for my Medium story material☆13Dec 30, 2020Updated 5 years ago
- Cucumber steps definitions for the OpenShift API☆12Jul 22, 2016Updated 10 years ago
- Functional Kotlin friendly way to create command line applications.☆17May 7, 2025Updated last year
- Sample code of DZone article about Spring REST service☆12Oct 21, 2023Updated 2 years ago