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:
- π Write any Python with 9 Characters: e,x,c,h,r,(,+,1,)β20Jun 20, 2022Updated 4 years ago
- Show better gist previews in twitter with a code snippet and a link to the gistβ13Sep 15, 2020Updated 5 years ago
- accessible data visualizations with Vega Liteβ17Jul 2, 2025Updated last year
- Document your Talon scripts using Sphinx.β18Updated this week
- Custom HTML elements to reuse Wikidataβ14Jan 6, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).β16Jan 12, 2026Updated 6 months ago
- Visualization synthesisβ15May 12, 2021Updated 5 years ago
- Haskell bindings to Rust's regex libraryβ19Mar 24, 2025Updated last year
- π© Define page content and behavior in CSS. (???)β16Sep 6, 2020Updated 5 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.β49Feb 12, 2025Updated last year
- Agda to C compilerβ10Sep 23, 2025Updated 10 months ago
- visualize an AST serialized as YAMLβ13Mar 13, 2023Updated 3 years ago
- Code associated with a research project for experimenting with different ways of surfacing stylistic, analytic, or visual discrepancies iβ¦β14Dec 12, 2024Updated last year
- β13Jan 7, 2026Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 𧬠an evolving design philosophy (masquerading as a color scheme)β11Dec 8, 2025Updated 8 months ago
- A bibliographic reference correction serviceβ22Dec 8, 2022Updated 3 years ago
- an implementation of Evolution for a course on Sw Devβ10May 9, 2016Updated 10 years ago
- The FSC Identikit for creating online keys and resources for biological identification (previously called Tom.bio ID Visualisation Framewβ¦β13Sep 11, 2025Updated 11 months ago
- The core GBIF scientific name parser libraryβ20Jul 14, 2026Updated 3 weeks ago
- Varv: Reprogrammable Interactive Software as a Declarative Data Structureβ14Oct 23, 2024Updated last year
- An iCalendar (.ics) file that displays the date and rural day name according to the French Republican calendarβ10Updated this week
- Compile time unit checking with C++11 template magic.β14Apr 30, 2019Updated 7 years ago
- Verified NbE via gluing in Agdaβ11May 19, 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.
- Pandoc filter to use Wikidata as reference managerβ19Nov 15, 2020Updated 5 years ago
- Contains the code and data for generating gridmaps for complex data.β10Jun 16, 2026Updated last month
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022β13Dec 2, 2022Updated 3 years ago
- β17Nov 23, 2023Updated 2 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 7 months ago
- A compiler that translates a form of lambda calculus to Cβ12Apr 21, 2024Updated 2 years ago
- Session types framework with support of protocol pipelining.β16Aug 3, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Possibly the most obscure piece of Nix magic yetβ13Jan 30, 2023Updated 3 years ago
- Live Coding for the Novation Circuitβ20Mar 30, 2022Updated 4 years ago
- An agda2hs-compatible library for well-scoped syntaxβ11Apr 15, 2026Updated 3 months ago
- My master thesis for the MSc. in Photonics engineering at Ghent Universityβ56Apr 27, 2025Updated last year
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting ambβ15Jul 30, 2026Updated last week
- Simply-typed lambda calculus as a QIT in cubical Agda + normalizationβ16Jan 23, 2024Updated 2 years ago
- Method generation for enumerated types in Rustβ12Apr 11, 2019Updated 7 years ago