huffyhenry

huffyhenry

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
66 Stars
9 Forks
66 Watchers

Repositories (2)

sync.soccer huffyhenry/sync.soccer Haskell

Synchronise event and tracking data using dynamic programming

59
ltl24 huffyhenry/ltl24 Haskell

An experimental verification and querying language for F24 football data

7