6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
proofgeneral 4.5-4 23 0.00 Generic interface for proof assistants. gilcu3 2022-09-26 07:42 (UTC)
proofgeneral-git 4.5.r9313.c304d73e-1 1 0.00 Generic interface for proof assistants gilcu3 2022-09-26 07:45 (UTC)
jelvis 1.0.2-1 1 0.00 Smart voice assistants like Alexa, Siri and Google assistants orphan 2020-07-10 09:39 (UTC)
rasa 3.6.0-1 0 0.00 Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants skeilnet 2023-06-15 17:46 (UTC)
python-wyoming 1.5.2-1 0 0.00 Peer-to-peer protocol for voice assistants AUR-user 2024-01-18 21:41 (UTC)
lala-companion-bin 0.0.12-1 0 0.00 3D personified desktop assistants, tuned for you, powered by AI vision and voice. zxp19821005 2024-04-17 01:14 (UTC)

6 packages found. Page 1 of 1.