My variant of the C Template Library

Laravel Eloquent boolean & timestamp flagged attributes behavior.

Java Code for Contraction Hierarchies Algorithm, A-Star Algorithm and Bidirectional Dijkstra Algorithm. Tested and Verified Code.

A browser extension to bring back legacy verified accounts on Twitter.

A implementation of swaglyrics into a discord bot

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves

Custom Blue Tick (Verified Badge) URL Creation Guide.

GitHub Action to create signed commits from within a GitHub Action workflow

Core smartcontract of Dimension

System F in Stainless

A proper setup for signing git commits with a gpg key

This plug-in provides rudimentary control for a Wyze Robot Vacuum.

A Multipurpose and verified Discord Bot with lots of NSFW, Fun and Moderations Commands.

A dataset of various verified cryptocurrency-related URLs and Twitter profiles

ERC-20 Upgradeable Token for reporting scam and/or safe tokens, contracts, and wallets

This repository holds the source code and content for our Twitter Verified the Source Code powering Twitter Verified with css, javascript and html.

This repo gathers raw data from official websites of various countries and displays time series for their states, counties, gender, age and much much more...

Find your verified Twitter followers using Python!

Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files