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/mlang
Towards changing things and see if it proofs
molikto/CherryTree
A collaborative structural editor for structured rich document with VIM-like keybindings
molikto/medit
The structural editor framework for mlang
molikto/graphics-playground
molikto/ChihuahuaLang
PLT & structural editor playground
molikto/KotlinParserGenerator
molikto/mlang2
Last incarnation of my dependent type implementation attempt
molikto/libraqm
A library for complex text layout
molikto/bevy
A refreshingly simple data-driven game engine built in Rust
molikto/bevy_editor_pls
molikto/bevy_egui
A plugin for Egui integration into Bevy
molikto/blog
molikto/cmark
GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C
molikto/cubicaltt
molikto/glam-rs
A simple and fast linear algebra library for games and graphics
molikto/java-tree-sitter
Java bindings for tree-sitter
molikto/kajiya
💡 Experimental real-time global illumination renderer 🦀
molikto/molikto.github.io
personal site
molikto/msgpackr
Ultra-fast MessagePack implementation with extension for record and structural cloning / msgpack.org[JavaScript/NodeJS]
molikto/nolex
After my "rigid" structural editor effort, I tried an idea of saving source code as token list, and parsing is done afterwards
molikto/normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
molikto/palette
A Rust library for linear color calculations and conversion
molikto/rust-gpu
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
molikto/sbt-robovm
An sbt plugin for iOS development in Scala
molikto/scala-parser-combinators-dotty
molikto/sol-rs
Vulkan rendering sandbox for raytracing
molikto/vimflowy
An open source productivity tool drawing inspiration from workflowy and vim
molikto/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)
molikto/wgpu
Safe and portable GPU abstraction in Rust, implementing WebGPU API.
molikto/zmk-config