Giters
Wesley Ma (chthonic7)

chthonic7

Geek Repo

2

followers

0

following

0

stars

Github PK Tool:Github PK Tool

Wesley Ma's repositories

solidity-to-dafny

Verifying Solidity smart contracts via translation to Dafny

Stargazers:1Issues:1Issues:0

aifun

OpenAI Gym stuff

Stargazers:0Issues:1Issues:0

musikey

A python script for musical typing

Language:PythonStargazers:0Issues:2Issues:0

snes-input-display

Input Display for iBuffalo USB SNES controller for Linux

Language:PythonStargazers:0Issues:1Issues:0

webprolog

Experimental combination of prolog and angular-schema-form to create a unification driven framework for web apps

Language:JavaScriptStargazers:0Issues:1Issues:0