Search Results for "open assistant"

Music Assistant Server is the core backend for Music Assistant, a free and open-source music library manager for local and online music sources. It connects streaming services, local files, metadata providers, and many speaker ecosystems into one centralized music system. The server is designed to run on an always-on device such as a Raspberry Pi, NAS, Intel NUC, or similar home server.

The assistant-ui project is an open-source TypeScript and React library designed to build production-grade AI chat interfaces quickly and efficiently. It provides a set of composable UI primitives that allow developers to construct fully customized conversational experiences without relying on monolithic components. The library handles complex behaviors such as streaming responses, auto-scrolling, accessibility, and real-time updates out of the box.

The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic...

Mimic is a Python tool that turns captured mobile application traffic into an editable client library. It records requests through mitmproxy, extracts stable authentication values, and uses an AI assistant to generate named Python methods for observed endpoints. Generated clients are ordinary source files built on mimic.App, so developers can inspect and modify them directly. The system can preserve request templates and model multi-step API flows in which one call supplies data for another....

This extension is for Tabnine’s Starter (free), Pro and Enterprise SaaS users only. Tabnine Enterprise users with the self-hosted setup should use the Tabnine Enterprise extension in the VSCode Marketplace. Tabnine is an AI code assistant that makes you a better developer. Tabnine will increase your development velocity with real-time code completions, chat, and code generation in all the most popular coding languages and IDEs. Whether you call it IntelliSense, intelliCode, autocomplete,...

12306 is an automation and ticket-purchasing tool designed to interact with China’s official railway booking system, providing users with a programmatic way to search, reserve, and purchase train tickets. The project replicates the workflow of the official platform while adding automation features that help users secure tickets in high-demand scenarios. It supports querying schedules, checking seat availability, and performing booking actions through scripts, which reduces the need for...