Rust Ai-assistant Resources

teleinfo2mqtt-rs Convert TeleInfo frames from a Linky meter's serial port to Home Assistant-compatible MQTT messages. Overview sequenceDiagram par

ask.sh: AI terminal assistant that read from & write to your terminal ask.sh is an AI terminal assistant based on OpenAI APIs such as GPT-3.5/4! What'

TermGPT Interact with ChatGPT from your terminal! 🚀 🤖 Install Cargo cargo install termgpt termgpt --help From source git clone [email protected]:bahdot

ChatGPT CLI A lightweight ChatGPT CLI - Chat completion. Interact with ChatGPT from your terminal and save the conversation in a text file. Get starte

Desktop Dye DesktopDye is an open source project written in Rust that allows users to have their lights paired with Home Assistant adjust to the most

A simple proof assistant written in Rust. The specification of the project may be found here, and the user manual here. The API documentation c

Lola Lola is League Of Legends Assistant. Features Auto get runes and spells lane of champion selecting. You can faster apply it with click button. Al

Wordler A Wordle solving assistant. What and Why? Affected by the virally memetic game wordle, but linguistically incapable of solving it, I set forth

Esther is a work-in-progress, proof-of-concept automated theorem proof assistant based on Homotopy Type Theory. Acknowledgements Arend, Lean, Coq and