Staging repo for development of native port of TypeScript

A markdown terminal slideshow tool

Next.js + Stackflow Proof of Concept

PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/Docker/Zotero

State Lifetime Manager

A fast bump allocation arena for Rust

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Everything is terrible.

Good enough syntax highlighting for MDX in Zed

Deploy a moonbit WASM component to nginx unit

Skip is a framework for building reactive services

Symbolic-execution-based verifier for the Viper intermediate verification language.

Experimental WASM Microkernel Operating System

⚠️ hack into react internals

A curated collection of awesome MoonBit tools, frameworks, libraries and articles.

A Coq library for Homotopy Type Theory

Hearthstone companion for Overwolf

A collection of materials about the ReScript programming language and toolchain.

Peggy: Parser generator for JavaScript

The Full Stack JavaScript SDK

Automock GraphQL schemas for better testing

World's most performant DOM-based web table. Try it! fast-grid.vercel.app/

A repository of the constitution of the Republic of Korea in mark-down format.

Catch CSS curve balls.

⏣ React for Circuits

CLI for applying TypeScript codefixes

Mill is a fast JVM build tool that supports Java, Scala, Kotlin and many other languages. 2-4x faster than Gradle and 4-10x faster than Maven for common workflows, Mill aims to make your project’s …

Build complex CLIs with type safety and no dependencies