Beast code in Giters

banthing's repositories

cryptonote easy miner

Language:C#100

Complete source code for the MonetaryCoin website

GPL-3.0100

100

Remix Etherscan Plugin

Language:TypeScript100

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION100

A comprehensive, up-to-date collection of information about several thousands (!) of crypto tokens.

Language:GoMIT000

000

The open-source repo for docs.github.com

Language:JavaScriptCC-BY-4.0000