Here are my personal projects.

Frice Engine

Source
A simple, light, easy, cross-language game engine.
Sub projects:

on JVM

Swing and JavaFX are both supported.

DSL on JVM

on CLR

in Lisp

in Ruby

Demos (for various languages)

Designer



Lice Language

Source
A Lisp dialect running on JVM
perfectly works with other JVM Languages.
Sub projects:

Interpreter (Kotlin JVM and Haskell)

REPL + Development Kit (Kotlin JVM) by @Glavo

Android REPL (Kotlin Android)

Integrated Developing Environment (intelliJ Platform based)

Language Reference



A8Translate

Source

A plugin for English-Chinese translating, supports caching and case insensitiveness.



Theorems

Source

Theorems proving codes, written in Agda.



MapGen

Source

A simple tool generates game maps (using random numbers, running very fast (1s per image)).



algo4j

Source

An algorithm library for Java use, JNI implement, supports:



Notepad++ extension

Source

Syntax highlighting extension for Notepad++, including language supports for Lice, Rust, Scala, Kotlin.



Kt2Dart

Source

This is a transpiler which consumes Kotlin codes and convert them into Dart, written in Haskell. I create this because I want to Make Flutter Great Again.

Flutter, written in Dart, is an awesome mobile developing framework. But Dart is too weak, for the dynamic typing and null-unsafety. Kotlin is much more powerful, with strong static analyze and lots of awesome features. If we can combine the beautiful flutter and the powerful/safe Kotlin, our world will be peaceful forever.



Dekoder

Source

A simple music player (supports mp3/wav and more), materially designed.