verified

Laravel Eloquent boolean & timestamp flagged attributes behavior.

My variant of the C Template Library

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

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

Core smartcontract of Dimension

A proper setup for signing git commits with a gpg key

System F in Stainless

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

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

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

APIs for applications to integrate to the Verified Network for Defi payments, securities, investments and trading

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!

╭━━╴ Get Verified on Instagram ├ It is based on a form with a trick. (We fool the instagram support) ├ No Password Needed. Telegram: 👉 https://t.me/sniper_spy

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