Search Results for "open assistant"

LeanCopilot integrates large language models (LLMs) as copilots for theorem proving in the Lean proof assistant. It assists users by suggesting tactics, premises, and searching for proofs, thereby enhancing the efficiency of formal verification processes. LeanCopilot supports both built-in models from LeanDojo and custom models, offering flexibility for various use cases.

RunAnywhere SDKs are a set of cross-platform development tools that enable applications to run artificial intelligence models directly on user devices instead of relying on cloud infrastructure. The toolkit allows developers to integrate language models, speech recognition, and voice synthesis capabilities into mobile or desktop applications while keeping all computation local. By running models entirely on device, the platform eliminates network latency and protects user data because...

KoboldCpp is an easy-to-use AI text-generation software for GGML and GGUF models, inspired by the original KoboldAI. It's a single self-contained distributable that builds off llama.cpp and adds many additional powerful features.

Piper is a fast, local neural text-to-speech (TTS) system developed by the Rhasspy team. Optimized for devices like the Raspberry Pi 4, Piper enables high-quality speech synthesis without relying on cloud services, making it ideal for privacy-conscious applications. It utilizes ONNX models trained with VITS to deliver natural-sounding voices across various languages and accents. Piper is particularly suited for offline voice assistants and embedded systems.

This library directly interfaces Arduino, esp8266, esp32, and esp32-s2 microcontrollers to DSC PowerSeries and Classic series security systems for integration with home automation, remote control as a virtual keypad, notifications on alarm events, unlocking installer codes, and emulating DSC panels to use DSC keypads as general purpose input devices. This enables existing DSC security system installations to retain the features and reliability of a hardwired system while integrating with...

An AI assistant for your computer. Is "aware" and can do more than just respond to voice commands. You can have a whole conversation with your computer while you work. It will make many tasks so much simpler and easier for you.

Intelligent Assistant Constructor is software system based on Expert Systems. The main purpose is creating, teaching and asking Intelligent Assistants.

My Learning Assistant© (My LA)provides a set of middleware services for natural language question asking and answering to support an activity of individulized knowledge construction within game based learning environments

This proyect will be many things. It will be not only a software program; but also your assistant and maybe your friend. You should be able to speak with her, ask her for advice, or ask her to do your homework.It will be a powerful OS such as Linux but fr