Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Claude Code plugin for visual docs — annotated screenshots, feature demos, flow walkthrough recordings (gif/mp4), terminal captures and before/after composites, one command each. Self-contained Chromium, self-validated output, no MCP.
- annotation
- claude-code-plugin
- demo-recording
- screenshot
Little example of how to create a bot for Telegram
- telegram
- bot
- python
- micropython
An open-source mobile app explicitly designed as a QA automation training playground.
- android-app
- appium
- espresso
- ios-app
atwSCADA — Free SCADA Software in a Single HTML File | IEC 61850, OPC UA, Modbus TCP | 53 Function Blocks, 65 Graphic Elements | No Installation | Download Free Demo
- digital-substation
- hmi
- iec61850
- industrial-automation