Kat’s next-generation LLM-powered package manager
☆15Apr 1, 2025Updated last year
Alternatives and similar repositories for kai
Users that are interested in kai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neovim plugin to support Cursorless☆18Jul 7, 2026Updated 2 weeks ago
- Document your Talon scripts using Sphinx.☆18Updated this week
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 6 months ago
- 🗂️ DirectoryTree widget for textual, compatible with all filesystems☆41Aug 25, 2025Updated 10 months ago
- 🎩 Define page content and behavior in CSS. (???)☆16Sep 6, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- SeaPlayer is a player that works in the terminal.☆14Jan 11, 2025Updated last year
- visualize an AST serialized as YAML☆13Mar 13, 2023Updated 3 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 9 months ago
- ☆13Jan 7, 2026Updated 6 months ago
- ☆11Feb 28, 2024Updated 2 years ago
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 10 years ago
- Datastores for reads, not your papa's FASTQ files.☆11Jul 28, 2023Updated 2 years ago
- An experiment with structured editing. in scratchpad state (not cleaned up)☆23Jan 5, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A bookmark manager that interacts with the raindrop.io API, built with the Python Textual TUI framework.☆16May 31, 2026Updated last month
- Death Stranding Zipline Network Tool☆11Dec 9, 2019Updated 6 years ago
- An experimental TUI framework for Python, inspired by React and Tailwind☆18Updated this week
- Verified NbE via gluing in Agda☆11May 19, 2024Updated 2 years ago
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022☆13Dec 2, 2022Updated 3 years ago
- 🏃♂️ A React async-boundary that couples an error-boundary as well as a suspense container☆16Jan 19, 2024Updated 2 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated 2 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 6 months ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tips and tricks of using xstate for UI Development☆20Sep 3, 2021Updated 4 years ago
- Session types framework with support of protocol pipelining.☆16Updated this week
- An agda2hs-compatible library for well-scoped syntax☆11Apr 15, 2026Updated 3 months ago
- Textual-based UI for programming the Audiofab Easy Spin effects pedal☆11Oct 13, 2025Updated 9 months ago
- SQLite database viewer for terminal☆17Jul 15, 2023Updated 3 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Updated this week
- ☆13Sep 20, 2023Updated 2 years ago
- Textual application, widget, and testing extensions for building sophisticated user interfaces with Python.☆18Dec 28, 2025Updated 6 months ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Method generation for enumerated types in Rust☆12Apr 11, 2019Updated 7 years ago
- Real-time anomaly detection tool☆10Dec 6, 2017Updated 8 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- Help and clarify how JSON Schema can be interpreted from validation rules to data definition. This extends to how those data definitions …☆20May 2, 2024Updated 2 years ago
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- content-addressable filesystem snapshots☆11Jul 12, 2018Updated 8 years ago
- Snapshot testing for Textual applications☆51Apr 26, 2025Updated last year