molikto's repositories
CherryTree
A collaborative structural editor for structured rich document with VIM-like keybindings
ChihuahuaLang
PLT & structural editor playground
000
java-tree-sitter
Java bindings for tree-sitter
molikto.github.io
personal site
normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
sbt-robovm
An sbt plugin for iOS development in Scala
vimflowy
An open source productivity tool drawing inspiration from workflowy and vim
Language:TypeScriptMIT000
VSCode.OSKeybindings
This extension does not remove any existing bindings. On the same os as that of the keybindings that means everything will be bound twice. On other OS' that means that the keybindings will be in addition to the default (note that they take precedence over the default bindings)
000