Discover @molikto Open Source projects

@molikto

molikto

Stars
111
Global Rank 192,845 (Top 7 %)
Followers 118
Following 193
Registered almost 13 years ago
Most used languages

Scala
77.8 %

Kotlin
11.1 %

Rust
11.1 %
Location 🇨🇳 China
Country Total Rank 21,654
Country Ranking

Scala
54

Rust
927

Kotlin
2,036

mlang

Towards changing things and see if it proofs

CherryTree

A collaborative structural editor for structured rich document with VIM-like keybindings

medit

The structural editor framework for mlang

yuyan

graphics-playground

ChihuahuaLang

PLT & structural editor playground

KotlinParserGenerator

JsonParserGenerator

(abandoned) we have a much better one to generate JSON, protobuf, SQLite database schema. but we have no time to open source it

mlang2

Last incarnation of my dependent type implementation attempt