varrunr/pyscriptlib
A library of useful scripts for random purposes mostly to replicate different client functionality through the command line
Formal Specification and Verification of Embedded Software: A Case Study using TLA+
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A library of useful scripts for random purposes mostly to replicate different client functionality through the command line
A Chrome extension to prevent users from being vulnerable to the IDN Homograph attack ( http://en.wikipedia.org/wiki/IDN_homograph_attack )
An implementation of the game 'Laser Chess' optimized for multi-core architectures
A script to parse BibTex and add it to the database