A feature-rich command-line audio/video downloader

插件化、定制化、无广告的免费音乐播放器

An elegant website for collecting kawaii logos from great artists

a terminal weather app with ascii animation

Ultra-lightweight, zero dependency, semantic HTML, CSS, JS UI library. ~8KB min+gz.

Type-Level Lambda Calculus interpreter with TypeScript

This is a character website project designed for Himeno Sena. She is a main character in the Japanese visual novel Koi x Shin Ai Kanojo (恋×シンアイ彼女).|这是角色姬野星奏的专属网站，她是游戏想要传达给你的爱恋中的女主

A declarative Unix terminal UI library written in Haskell

哲学

🍼 Plugin driven WYSIWYG markdown editor framework.

Augment the TypeScript compiler to support extended functionality

An ergonomic typescript compiler that enables typesafe syntactic macros.

Pattern matching syntax for ECMAScript

Proposal for ECMAScript enums

一个基于TypeScript的强类型, 函数式后端框架.

simple ocaml blog that reads the issues with filtering + CF tunnels

Specification for interoperability of common algebraic structures in JavaScript

🏝 一个简洁强大的网页音乐播放器

Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction

A menagerie of cute implementations of modern typechecking algorithms

Implementations of various type systems in OCaml.

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

A simple, declarative, functional web UI framework

Legado 3.0 Book Reader with powerful controls & full functions❤️阅读3.0, 阅读是一款可以自定义来源阅读网络内容的工具，为广大网络文学爱好者提供一种方便、快捷舒适的试读体验。

The Flix Programming Language

A friendly programming language from the future

Koka language compiler and interpreter