Hanzi Writer

Chinese character stroke order animations and practice quizzes

AMR Logic Converter

Convert Abstract Meaning Representation (AMR) into first-order logic

Tensor Theorem Prover

First-order theorem prover which supports embedding unification

Curve Matcher

Curve matching using Fréchet distance and Procrustes analysis in JS

Wordsheet

Online language-learning exercise creator

Word2Vec Gender Bias Explorer

Explore gender bias in word vectors

Reddit Words

What did Spacy’s sense2vec 2019 word vectors learn from Reddit?