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

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

Custom Blue Tick (Verified Badge) URL Creation Guide.

System F in Stainless

Core smartcontract of Dimension

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

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

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

🚂 An amazing inspiring 🚊 repository showcasing 🚒 the personal academic 🚞 and professional achievements 🚎 of Hazrat portfolios resumes 🚋 and sharing milestones 🚛 with the world 🏦 awards projects ☂ internships 🏩 competitions ⛄ Education Tech Community 🏣 Open Source certificates 🚧 skills consistency passion 🚤 and career progress 🛢

Coq Formalization for Mininix

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!