#
Starred repositories
Trying to make a practical possibly unsound dependently typed language with algebraic effects
Flat Remix is a GTK application theme inspired by material design. It is mostly flat using a colorful palette with some shadows, highlights, and gradients for some depth.
A GPU-accelerated 2D graphics environment for Node.js
🐍 The official Python client library for Google's discovery based APIs.
Minimal implementations for dependent type checking and elaboration
新手的第一个项目，一个独立用于听取b站收藏夹音乐（视频音频）的app，有很多bug期待您探索，史山勿喷（
Markdown parser, done right. 100% CommonMark support, extensions, syntax plugins & high speed
React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…
syntax highlighting component for react with prismjs or highlightjs ast using inline styles
A small, fast web browser based on Android WebView. It's tailored for E-Ink devices but also works great on normal android devices.
A collection of resources for learning type theory and type theory adjacent fields.
A CMake/C++20 library to embed resource files at compile time
Winetricks is an easy way to work around problems in Wine
An edge-cutting lexer and parser written in OCaml
⚛️ React primitive UI components built with styled-system.