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
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Model-based design and verification for robotics.
- robotics
- drake
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
- hardware
- verification
- hdl
- simulator
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada