Results for st-lang

Highlight, preview and more for st lang

ST — proof assistant CLI powered by @stevenvo780/st-lang. Commands: check, derive, countermodel, formalize, export, repl.

ST — Lenguaje ejecutable con nucleo logico y capa textual. Motor multi-perfil (11 lógicas), derivaciones, tablas de verdad, contramodelos, aliases modales, Belnap 4-valores y capa textual para formalización de documentos.

Trie Data Structure to support cspell.

SQL language support for the CodeMirror code editor

A module for serving static files. Does etags, caching, etc.

Street Address Parser for Node.js

[](http://js.org)

A better decodeURIComponent

css color parsing, manupulation and conversion

Flowchart support

Common Media Server Data (CMSD) encoding and decoding

JavaScript language support for the CodeMirror code editor

Vue template support for the CodeMirror code editor

Less support for the CodeMirror code editor

CSS language support for the CodeMirror code editor

WebAssembly Text Format support for the CodeMirror code editor

JSON 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)

Java language support for the CodeMirror code editor

remark plugin to make Markdown strikethrough (`~~`) in GFM more friendly with Chinese, Japanese, and Korean (CJK)

HTML language support for the CodeMirror code editor

Python language support for the CodeMirror code editor

Markdown language support for the CodeMirror code editor