types

🎈🎈🎈🎈年会抽奖程序，基于threejs与vue3的3D球体动态抽奖应用。

Agda是一种依赖类型编程语言/交互式定理证明器。

通过代码生成的实时动态图表，实现软件架构的可视化、协作与持续演进。

VTable is not just a high-performance multidimensional data analysis table, but also a grid artist that creates art between rows and columns.

Synkra AIOS：面向全栈开发的人工智能编排系统 - 核心框架 v4.0

模块联邦是一种支持跨多个JavaScript应用共享代码和资源的技术概念

🔥 基于 Vue 3 + Vite 6 + TypeScript + Element Plus 构建的后台管理系统前端模板（配套后端源码），Vue-Element-Admin 的 Vue 3 版本。

用于在AI应用中运行AI生成代码/代码解释的Python和JS/TS SDK。

用于在AI应用中运行AI生成代码/代码解释的Python和JS/TS SDK。

为不可变类提供代码生成功能，语法简洁且功能完整

将任意视频转换为极小尺寸。

通过直观的可视化构建器轻松打造精美网站并即时发布

Vim 的 TypeScript 语法文件

TEAMMATES 是一款用于教育的反馈管理工具

专为开发者和设计师精心优化的SVG技术标识合集——可定制、可缩放且完全免费。

用于构建有状态智能体的记忆库

Synkra AIOS：面向全栈开发的人工智能编排系统 - 核心框架 v4.0

Jaeger的Web用户界面

Haskell 的液体类型

一站式构建基于Stripe的人工智能产品和业务。

AI 后端框架。像构建微服务一样构建和运行 AI 智能体——从一开始就具备可扩展性、可观测性和身份感知能力。

An Accessible, WCAG compliant Starter Theme for Astro 5+ including several accessibility features such as, better focus-outline, landmarks, semantics, interactive components and skip-link navigation. Ships with Tailwind 4, Prettier and ESLint support.

支持人工智能的CRM/ERP基础框架——专为驱动研发、新流程、运营和增长而构建。它采用模块化设计，具备高度可扩展性，适合需要强大默认功能且希望全面自定义的团队。优于Django、Retool及其他替代方案，具备企业级品质！

Astroplate是一个基于Astro、TailwindCSS和TypeScript构建的免费入门模板，为您启动Astro项目提供所需的一切。