Pinned Repositories
boost-cmake
Easy Boost integration in CMake projects
extract-subtitle
Subtitle extraction system for Smart Subtitles http://up.csail.mit.edu/other-pubs/chi2014-smartsubs.pdf
github-issues-import
Python script to import issues from one repository into another, either one at a time or all of them at once.
Interception
A Windows API for the interception and control of input devices.
leetcode
msee_thesis
embedded ARM stuff
perf-ninja
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
sf-lean
Software Foundations using the Lean Theorem Prover
stan-monorepo
tao-analysis-one
alashworth's Repositories
alashworth/sf-lean
Software Foundations using the Lean Theorem Prover
alashworth/stan-monorepo
alashworth/tao-analysis-one
alashworth/boost-cmake
Easy Boost integration in CMake projects
alashworth/extract-subtitle
Subtitle extraction system for Smart Subtitles http://up.csail.mit.edu/other-pubs/chi2014-smartsubs.pdf
alashworth/github-issues-import
Python script to import issues from one repository into another, either one at a time or all of them at once.
alashworth/Interception
A Windows API for the interception and control of input devices.
alashworth/leetcode
alashworth/msee_thesis
embedded ARM stuff
alashworth/perf-ninja
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
alashworth/PyTables
A Python package to manage extremely large amounts of data
alashworth/test-issue-import
alashworth/TrackerComponentLibrary
This is a collection of Matlab functions that are useful in the development of target tracking algorithms.
alashworth/wild-tic-tac-toe
Your final challenge for the week, compete against your cohort in a game of wild tic tac toe!
alashworth/zero2prod