Pinned Repositories
CherryTree
A collaborative structural editor for structured rich document with VIM-like keybindings
ChihuahuaLang
PLT & structural editor playground
graphics-playground
JsonParserGenerator
(abandoned) we have a much better one to generate JSON, protobuf, SQLite database schema. but we have no time to open source it
KotlinParserGenerator
libraqm
A library for complex text layout
medit
The structural editor framework for mlang
mlang
Towards changing things and see if it proofs
mlang2
Last incarnation of my dependent type implementation attempt
molikto's Repositories
molikto/JsonParserGenerator
(abandoned) we have a much better one to generate JSON, protobuf, SQLite database schema. but we have no time to open source it
molikto/android-plugin
An sbt plugin for Android development in Scala
molikto/picasso
A powerful image downloading and caching library for Android