universemaster

Add Lean4 Theorem prover syntax

1

A table based format for commands sorted by purpose seems a good fit for Lean 4's theorem prover syntax. Resources: https://djvelleman.github.io/HTPIwL/ and https://leanprover-community.github.io/

I suggest either a documentation change or functionality change. I expected the command `glyphhanger ./test.html --formats=woff2 --subset='*.ttf'` to subset using a calculated unicode range per font family. However, to get...

Add option to limit CPU use to avoid the noisy fan (on Macbook pro)

3

- Is there a possibility of an option to limit CPU use? - On a 2014 Macbook pro when I use vale with the vscode extension, vale briefly spikes to...

Use Electron for Performance Enhancement

1

The guys over at nightmare have begun porting to electron. The improvements electron offers over phantom seem worth the effort. Is there appetite here to do that with phantasma? https://github.com/segmentio/nightmare/issues/200

Publish markdown-it plugin (and vscode preview extension)

3

Will you be publishing a Temml markdown-it plugin? https://www.npmjs.com/search?q=keywords:markdown-it-plugin I currently use the katex plugin that vscode natively uses - https://github.com/mjbvz/markdown-it-katex . But, when chrome properly supports mathml, I suspect...

[FR] Option to "run command after bake"

1

I have a feature request. I suspect it's a common use case to want to use this plugin as part of a larger workflow, and to run a command after...