jossmoff/buzzproof

Stars
2
Language
TeX
Created over 3 years ago
Updated over 3 years ago

jossmoff/buzzproof

jossmoff

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM

ChromePasswordDumper

🔐 Google Chrome password recovery tool written using Powershell and a tiny bit of Batch!

RedditMusicBot

🤖📻 A Reddit Music Bot template built for Heroku that automatically adds songs from subreddits to Spotify.

GeoCrackr

🌍 A Python Selenium webdriver wrapper that reveals a users position in the popular online game GeoGuessr.

gatling-stepfunction-extension

⚡ A Gatling extension to analyse the execution of a step function

formalgrammars

LaTeX style for Formal Grammars and operations on them

stilton

🧀 The command line tool that detects code smells for refactoring

PyRequisite

📚 PyRequisite allows you to find project prerequisites for Python modules when you forget to start a virtual enviroment.

Cassetter

ptl

⏱ Automatically log time in GitLab issue tracker for COMP23311 at UoM.

awssert

☁️ A library used for fluent assertions on common AWS SDK objects

gatling-stepfunction-extension-docs

Documentation for gatling-stepfunction-extension

chickpea

🫘 Chickpea is an extension of the Java Bean Validation Specification providing useful annotations for common validation formats

bookshelf

📚 A CLI tool for tracking your stories in the software development lifecycle