anthonywlin

Anthony W. Lin's repositories

Research Page of Anthony W. Lin

Language:JavaScript000

Constructing automata with SAT solvers

Language:JavaGPL-3.0000

chess stuff for python + tkinter

Language:PythonGPL-3.0010

Language:HTML000

Meeting on String Constraints and Applications

010

Automata Learning Library in Python

GPL-3.0000

The HTML Presentation Framework

Language:JavaScriptMIT000

A simple python chess game with a seperate board representation/validation and a TkInter GUI

Language:PythonWTFPL000

Python and pandas tools to perform various analyses on different types of word lists

Language:Python000