GitHunt

Thomas Sewell

talsewell

Baby academic and itinerant proof engineer. Currently at UNSW.

UNSW
Sydney, Australia

Languages

Standard ML50%C33%Kotlin17%

Repositories

8
TA
talsewell/cs3231-asst3

No description provided.

C00Updated 7 months ago
TA
talsewell/cs3231-asst2

No description provided.

C00Updated 8 months ago
TA
talsewell/cakemlFork

CakeML: A Verified Implementation of ML

Standard ML00Updated 1 year ago
TA
talsewell/c-verif-markFork

Forking to PR

00Updated 3 years ago
TA
talsewell/cerberusFork

Cerberus C semantics

00Updated 4 years ago
TA
talsewell/GamesFork

Many kinds of games, playable in both multiplayer or local play. Replays, spectator mode, and AIs.

Kotlin00Updated 5 years ago
TA
talsewell/regressionFork

Regression testing infrastructure for CakeML

Standard ML00Updated 7 years ago
TA
talsewell/HOLFork

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

Standard ML00Updated 9 years ago

Gists

Recent Activity

Thomas Sewell (talsewell) | GitHunt