types

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

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

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

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

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

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

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

Vim 的 TypeScript 语法文件

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

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

Jaeger的Web用户界面

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

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.

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

🔦 [Vim脚本] 为Vim提供JSX和TSX语法高亮美化

TDesign Vue Next UI 组件入门套件

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

一款开源Valkey客户端库，支持Valkey及Redis开源版6.2、7.0与7.2。Valkey GLIDE专为基于Valkey和Redis OSS的应用程序设计，具备可靠性、优化性能和高可用性特性。GLIDE是多语言客户端库，采用Rust编写并提供编程语言绑定，例如Java和Python。

自动运行自然语言描述工作流的最简方法

重拾排版之美

基于Sveltekit的GitHub问题爬虫

快速、一体化、AI原生、多语言、运行时

solana.com官方网站

Bookworm Light 是一款功能丰富、极简、高度可定制且易于使用的 Astro 博客主题。