AI Agent Skills

The media player for language learning, with dual subtitles, AI-generated subtitles, real-time translation, and more!

Language Technology Platform

textlint is the pluggable linter for natural language text.

The UI design language and React library for Conversational UI

PKM Markdown Language Server

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

A light markup language

Coding assistance for JupyterLab (code navigation + hover suggestions + linters + autocompletion + rename) using Language Server Protocol

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

The Plutus language implementation and tools

Developer friendly Natural Language Processing ✨

A browser-based desktop where AI Agent operates every app through natural language.

Terraform Language Server

Give your AI agent a web browser

esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.

Lightweight, fast, stable, programmable component-based rule engine — where AI Agents orchestrate just like ordinary components. Uniquely designed DSL: component reuse,…