thk123

I am a freelance team lead and a software engineer, and Oxford University staff.

Pinned Repositories

cbmc
C Bounded Model Checker
Language:C++873 40 1.3k269
Pub
Atos Competion for Dimappers
Language:Java6 1 1963
AI-Cwk-1
Language:Java1 2 00
AI-Cwk-2
1 3 00
Automata-Cwk
Language:Shell1 2 00
bio-pronoun-counter
Given a list of Twitter handles, counts the number that have their pronouns in their bio.
Language:Python0 2 00
climate-dashboard
A website with the aim of seeing the state of progress towards tackling climate change.
Language:JavaScript2 1 31
kAI
codebehaviour
Language:C#1 2 830
tubular
Language:Rust0 1 00
VaOcean
Ocean Surface Simulation Plugin for Unreal Engine 4
Language:C++2 3 00

thk123's Repositories

thk123/climate-dashboard
A website with the aim of seeing the state of progress towards tackling climate change.
Language:JavaScript2 1 31
thk123/discord-fireworks
Language:Python1 2 03
thk123/bio-pronoun-counter
Given a list of Twitter handles, counts the number that have their pronouns in their bio.
Language:Python0 2 00
thk123/ogp-2020-scripts
Language:Python0 2 00
thk123/tubular
Language:Rust0 1 00
thk123/20-05-2024-bdi-git
1 0
thk123/2024-05-15-ndmbdi
Language:HTML
thk123/cbmc
C Bounded Model Checker
Language:C++4 0
thk123/clean-that-rust
Language:Rust1 0
thk123/clion-settings
1 0
thk123/com.unity.perception
Perception toolkit for sim2real training and validation in Unity
Language:C#0 0
thk123/directory-printer
A small programming exercise for a python command line tool that prints a directory structure
Language:Python
thk123/discord-pixel-fireplace-bot
Pyro is a Discord bot that allows controlling of the indie game, Pixel Fireplace via text commands.
Language:Python2 0
thk123/EPIONCHO-IBM
Modelling exposure heterogeneity and density dependence in onchocerciasis using a novel individual-based transmission model in python
Language:Python0 0
thk123/gg21-where-did-you-leave-the-keys
Language:C#2 0
thk123/ggj21-SnapSea
Language:C#2 0
thk123/ggj22-janus
Language:C#2 0
thk123/git-cola
git-cola: The highly caffeinated Git GUI
Language:Python1 0
thk123/growing-tree
Language:C#2 0
thk123/my-bash
Personalised bash scripts
Language:Shell2 0
thk123/ntd-model-sch
NTD SCH model
Language:Python0 0
thk123/ntd-model-trachoma
Language:Jupyter Notebook0 0
thk123/portfollio-react
React // Gatsby Portfollio
Language:JavaScript2 0
thk123/RunAsService
Language:C#2 0
thk123/rusty-wumpus
Language:Rust2 0
thk123/se4be-website
Website for Software Engineering for Busy Experts
Language:SCSS2 0
thk123/thk123
Language:HTML2 0
thk123/ttkwidgets
A collection of widgets for Tkinter's ttk extensions by various authors
Language:Python0 0
thk123/wordly-solver
A rust project for playing the Wordly game
Language:Rust1 0
thk123/zephyr
Fork of Primary Git Repository for the Zephyr Project. Used for submitting PRs upstream
Language:C0 0