This is a custom syntax highlighter with custom autocompletes and optional color scheme created for ChoiceScript. Developed to make reading and writing ChoiceScript code quicker and easier, with the ...
Note: This plugin is mostly a fork from cm-editor-syntax-highlight-obsidian and from obsidian-mlir-syntax-highlight, but only providing support for Lean (as other languages are already natively ...
What are the differences between how AI systems handle JavaScript-rendered or interactively hidden content compared to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback