Mingli Yuan

nseg. Node.js Version of MMSG for Chinese Word Segmentation

distilled. Daily online magazine for Chinese Wikipedia

hyperbolic-wythoff. draw the Wythoff construction of uniform tilings in hyperbolic plane

knowledge. combining wikidata and clojure core.logic

shortify. A Shorturl Service for Wikipedia Projects by Node.js

aeg-paper. a paper about Arithmetic Expression Geometry (AEG), a new way to think about computation, analysis, and geometry

unterwegs. A personal knowledge exploration tool

metafont-glyphs. A metafont-glyphs dataset which facilitate people to define CJK-like glyphs with their metafont scripts by machine learning

rossby-vis. The stunning, interactive frontend of rossby server which visualize your NetCDF file

the-book. 异星杂谭

selfx. a self expolre

numberx. reinvent the numbers again?

simbase. A vector similarity database

optaeg. Combine neural networks and Arithmetic Expression Geometry

vocabulary-flashcard. vocabulary flashcard for kids

qingdai. 一个刻画科幻世界“青黛”星球的基于物理的简化全球气候模型

star-sensor. Python

PeirceMachine. A collection of references, documents and thinking of Peirce's Semiotic theory

camel. A server-side coffeescript environment with first-class requirejs AMD-style loader and server-side WebWorkers supports

while. a while language interpreter. The language syntax was similar with the definition from the Book Computability and Complexity by Neil D. Jones.

webfacts. An experimental n3 dataset for Web development facts

sphaera. sphaera - a math toolkit for spherical data processing

battlefield2. A genetic neural evolution platform for Robot Rumble Game

miniweb. a minimalist web framework for Node.js

skiverse. A SKI universe

ultrafilter. Categorized recent changes and shorturl service for Wikipedia projects

rossby. Rossby is a blazingly fast, in-memory, NetCDF-to-API server written in Rust.

jq-wikify. A jQuery plugin to make links to Wikipedia on given keywords

knowledge-geometry. TeX

wp-wikify. A WordPress plugin help people make links to Wikipedia by keywords

lda-server. A LDA server

zu-lang. An experimental toy language

jsq. An Object system for Node.js based on the MOP concept from Lisp CLOS

jslogo. Logo in JavaScript

aeg-invitation. An invitation to arithmetic expression geometry

quantum-pen. Stories are not written, but discovered.

euler-demo. A demo for translation of Euler archive

metamath-website-scripts. Scripts to set up the metamath website(s) so they're under version control, can be reviewed, and can be rerun. The scripts download the seed files from metamath-website-seed, databases from set.mm, etc.

aeg-lib. Arithmetic expression geometry with a taste of Arend

ada. Java

leibniz. Leibniz is a python package which provide facilities to express learnable partial differential equations with PyTorch

wxbtool. A toolkit for WeatherBench based on PyTorch

ccgeom. toolkit on computational conformal geometry

aeg-gas-calc. calculate gas by AEG theory

twelve-letters. 十二信简

manet. manet: an activation-free and multiply–accumulate-only network

cambrian. An Artificial Life experiment

babel. A GA experiment

cantor. an experimental project to encoding normal math terminology into scala

bor. bor is a set of dongba characters in metafont

qin. Qin is nifty

chaitin. an environment for iota and keraia which is very interesting in AIT

mmj2. mmj2 GUI Proof Assistant for the Metamath project