The Formality proof language
Formality-Lang is a set of syntax sugars that transpile to [Formality-Core](https://github.com/moonad/formality-core). It extends that minimal core with user-friendly notations such as string literals and datatype declarations.
Form validation tool for @rescript/react
Type helper for vocoder.config.ts
css color parsing, manupulation and conversion
JSON language support for the CodeMirror code editor
JavaScript language support for the CodeMirror code editor
CSS language support for the CodeMirror code editor
HTML language support for the CodeMirror code editor
Python language support for the CodeMirror code editor
Vue template support for the CodeMirror code editor
Markdown language support for the CodeMirror code editor
Less support for the CodeMirror code editor
YAML language support for the CodeMirror code editor
remark plugin to make Markdown emphasis (`**`) in CommonMark (and MDX) more friendly with Chinese, Japanese, and Korean (CJK)
WebAssembly Text Format support for the CodeMirror code editor
Go language support for the CodeMirror code editor
Rust language support for the CodeMirror code editor
Java language support for the CodeMirror code editor
remark plugin to make Markdown strikethrough (`~~`) in GFM more friendly with Chinese, Japanese, and Korean (CJK)
Angular Template language support for the CodeMirror code editor
C++ language support for the CodeMirror code editor
Stripe API wrapper
SQL language support for the CodeMirror code editor