Repository Index

Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node

• speech-recognition
• asr
• voice-recognition
• speech-to-text

Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.

• artifact-integrity
• pptx
• python
• supply-chain-security

pure-python ECDSA signature/verification and ECDH key agreement

• python
• elliptic-curves
• cryptography
• digital-signatures

FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.

• accuracy-decline
• ai-safety
• audit-trail
• fact-checking

High-assurance AI data visualization IDE & analytics workbench. Natural language to charts with local ground-truth table verification.

• ai-analytics
• data-analysis
• data-visualization
• duckdb

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• parser
• binary-parser
• ada
• spark

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.

• agent-orchestration
• cli
• developer-tools
• llm-agents