jossmoff
โ๏ธ โก ๐งช Software Engineer at Capital One, Maintainer of @polywit
@capitaloneNottingham
Pinned Repositories
awssert
โ๏ธ A library used for fluent assertions on common AWS SDK objects
buzzproof
๐ LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM
chickpea
๐ซ Chickpea is an extension of the Java Bean Validation Specification providing useful annotations for common validation formats
ChromePasswordDumper
๐ Google Chrome password recovery tool written using Powershell and a tiny bit of Batch!
formalgrammars
LaTeX style for Formal Grammars and operations on them
gatling-stepfunction-extension
โก A Gatling extension to analyse the execution of a step function
GeoCrackr
๐ A Python Selenium webdriver wrapper that reveals a users position in the popular online game GeoGuessr.
RedditMusicBot
๐ค๐ป A Reddit Music Bot template built for Heroku that automatically adds songs from subreddits to Spotify.
stilton
๐ง The command line tool that detects code smells for refactoring
polywit
๐ A poly-language execution-based violation-witness validator
jossmoff's Repositories
jossmoff/ChromePasswordDumper
๐ Google Chrome password recovery tool written using Powershell and a tiny bit of Batch!
jossmoff/RedditMusicBot
๐ค๐ป A Reddit Music Bot template built for Heroku that automatically adds songs from subreddits to Spotify.
jossmoff/gatling-stepfunction-extension
โก A Gatling extension to analyse the execution of a step function
jossmoff/GeoCrackr
๐ A Python Selenium webdriver wrapper that reveals a users position in the popular online game GeoGuessr.
jossmoff/formalgrammars
LaTeX style for Formal Grammars and operations on them
jossmoff/buzzproof
๐ LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM
jossmoff/stilton
๐ง The command line tool that detects code smells for refactoring
jossmoff/awssert
โ๏ธ A library used for fluent assertions on common AWS SDK objects
jossmoff/bookshelf
๐ A CLI tool for tracking your stories in the software development lifecycle
jossmoff/Cassetter
jossmoff/chickpea
๐ซ Chickpea is an extension of the Java Bean Validation Specification providing useful annotations for common validation formats
jossmoff/gatling-stepfunction-extension-docs
Documentation for gatling-stepfunction-extension
jossmoff/ptl
โฑ Automatically log time in GitLab issue tracker for COMP23311 at UoM.
jossmoff/PyRequisite
๐ PyRequisite allows you to find project prerequisites for Python modules when you forget to start a virtual enviroment.
jossmoff/advent-of-code
๐ Place for Advent of Code Solutions
jossmoff/articles
A repository for the source code, notebooks, data, files, and other assets used in the data science and machine learning articles on LearnDataSci
jossmoff/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
jossmoff/github-issue-templates
:symbols: A collection of GitHub issue and pull request templates
jossmoff/jossmoff
jossmoff/jossmoff.github.io
jossmoff/numpy
The fundamental package for scientific computing with Python.
jossmoff/pwr
A fun self loading python script that allows you to control clients - do not use maliciously
jossmoff/snowplow
Cloud-native web, mobile and event analytics, running on AWS and GCP
jossmoff/Spring-Boot-Application-Template
Spring Boot Application Template/Starter-Project
jossmoff/svcomp-badges
A shield.io endpoint for displaying formatted SVCOMP result badges
jossmoff/template-java-library
Template used to create and deploy java libraries
jossmoff/Urinal-Problem-in-Linear-Time
Consider a person walks into a male bathroom with n urinals and ฮฆ is the set of free urinals and ฮ is the set of occupied ones, where should this person go to maximise their privacy? I demonstrate an algorithm to select the most appropriate urinal in linear time and propose a new extension to the original problem.
jossmoff/vaibhavvikas.github.io
My Personal Website