8 Repositories
Rust assistant Libraries
ask.sh: AI terminal assistant that can read and write your terminal directly!
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'
5 Jun 20, 2023
A programming and system administration assistant, powered by chatGPT
TermGPT Interact with ChatGPT from your terminal! 🚀 🤖 Install Cargo cargo install termgpt termgpt --help From source git clone [email protected]:bahdot
5 May 11, 2023
ChatGPT CLI - A minimal assistant in the terminal
ChatGPT CLI A lightweight ChatGPT CLI - Chat completion. Interact with ChatGPT from your terminal and save the conversation in a text file. Get starte
5 Mar 14, 2023
"Philips Ambilight for desktops". A tool to generate color palettes from your desktop wallpaper and send them to Home Assistant.
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
7 Feb 22, 2023
Proost - A small proof assistant written in Rust
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
12 Mar 3, 2023
League Of Legends Assistant.
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
13 Nov 3, 2022
A Wordle solving assistant
Wordler A Wordle solving assistant. What and Why? Affected by the virally memetic game wordle, but linguistically incapable of solving it, I set forth
4 Feb 18, 2022
Simple automated proof assistant.
Esther is a work-in-progress, proof-of-concept automated theorem proof assistant based on Homotopy Type Theory. Acknowledgements Arend, Lean, Coq and
5 Sep 14, 2021