Popular repositories Loading

1. WizardSolver WizardSolver Public

   A solving program based on Mathematica for Wizard English word game.

   Mathematica 2

2. audio audio Public

   Audio files for TouhouKeireikaku.

3. Library Library Public

   Library for WizardSolver (both traditional and new frame version)

4. CaseEnum CaseEnum Public

   A proof of an algorithm for System Experiment by enumerating all possible cases.

   Python

5. TuringUniBinAddition TuringUniBinAddition Public

   Some simple algorithms for a Turing machine that can add two unary or two binary numbers.

6. linear-algebra-calculator linear-algebra-calculator Public

   An Electron application for linear algebra calculation

   JavaScript