UITextField subclass with floating labels - inspired by Matt D. Smith's design: http://dribbble.com/shots/1254439--GIF-Mobile-Form-Interaction?list=users
- floating-labels
- objective-c
- pod
- carthage
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Plain-language agent skills for Claude Code, Codex, Cursor and Gemini CLI: honest session reports, straight verdicts, steps you can follow. MIT.
- agent-skills
- ai-agents
- claude-code
- claude-code-skills
ClamAV antivirus scanning for Node.js — scan file uploads with a single function call. Zero dependencies. Typed Symbol verdicts. Local or Docker/clamd.
- clamscan
- file-scanner
- virus-scan
- docker-compose
Qt without moc: set of macros to use Qt without needing moc
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Auto reflection tool from JSON to Model, user friendly JSON encoder / decoder, aims to never die
- swift
- json
- auto-reflection
- ios
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Check a seller, recruiter or landlord against 3,400+ public sources before you trust them. A verdict in plain words and a saved receipt behind every finding. Runs on your PC.
MCP server that channels JVM forensics into structured leak verdicts — for Claude Code.
Every AI coding-agent CLI (Claude Code, Codex, Gemini, Qwen, Vibe) reviews your diff in parallel, read-only, for one ship/no-ship verdict. One tiny script: no server, no MCP.