Pinned

1. Starpial Starpial Public

   Description of Starpial plus example programs

   7

2. coq_fft_proof coq_fft_proof Public

   Proof that the FFT implements the DFT, written in Coq.

   Coq

3. algorithms-cpp algorithms-cpp Public

   Algorithms for competitive programming in C++

   C++

4. Tronpix smart contract Tronpix smart contract

   1

   pragma solidity ^0.5.0;

   2

   3

   /**

   4

    * @dev Wrappers over Solidity's arithmetic operations with added overflow

   5

    * checks.