Skip to content

Instantly share code, notes, and snippets.

[
"1 December University of Alba Iulia",
"2nd Military Medical University",
"3rd Military Medical University",
"4th Military Medical University",
"Aalborg Business College",
"Aalborg University",
"Aarhus School of Architecture",
"Aarhus School of Business",
"Aarhus Technical College",
[
"1 December University of Alba Iulia",
"2nd Military Medical University",
"3rd Military Medical University",
"4th Military Medical University",
"Aalborg Business College",
"Aalborg University",
"Aarhus School of Architecture",
"Aarhus School of Business",
"Aarhus Technical College",
@snario
snario / cities.json
Last active February 19, 2020 16:04
[
"Zvishavane",
"Victoria Falls",
"Shurugwi",
"Rusape",
"Redcliff",
"Norton",
"Mutare",
"Masvingo",
"Marondera",
----------------------------- MODULE ForceMove -----------------------------
EXTENDS Integers, TLC, Utils
CONSTANTS
StartingTurnNumber,
NumParticipants,
NULL
(***************************************************************************)
(* The purpose of this specification is to outline an algorithm that *)
(* guarantees that a challenge is registered on chain with turnNumber *)
(* equal to LatestTurnNumber. It is guaranteed even with an antagonist *)
@snario
snario / CODE_OF_CONDUCT.md
Created January 3, 2020 15:03
ETHGlobal's Code of Conduct

CODE OF CONDUCT

  • Harassment includes offensive verbal comments related to gender, gender identity and expression, age, sexual orientation, disability, physical appearance, body size, race, ethnicity, nationality, or religion, sexual images in public spaces, deliberate intimidation, stalking, following, photography or audio/video recording against reasonable consent, sustained disruption of talks or other events, inappropriate physical contact, and unwelcome sexual attention.
  • Photography is encouraged, but other participants must be given a reasonable chance to opt out from being photographed. If they object to the taking of their photograph, comply with their request. It is inappropriate to take photographs in contexts where people have a reasonable expectation of privacy (in bathrooms or where participants are sleeping).
  • Participants asked to stop any harassing behavior are expected to comply immediately.
  • As this is a hackathon, we like to explicitly note that the hacks created at our hackathon are
const ethers = require("ethers");
const getAddress = ethers.utils.getAddress;
const solidityKeccak256 = ethers.utils.solidityKeccak256;
const keccak256 = ethers.utils.keccak256;
const solidityPack = ethers.utils.solidityPack;
const Interface = ethers.utils.Interface;
const defaultAbiCoder = ethers.utils.defaultAbiCoder;
const hexDataSlice = ethers.utils.hexDataSlice;
pragma solidity ^0.5.2;
pragma experimental ABIEncoderV2;
import "fmg-core/contracts/Commitment.sol";
import "fmg-core/contracts/Rules.sol";
import "openzeppelin-solidity/contracts/math/SafeMath.sol";
/**
* Liam's comments:
*
pragma solidity 0.5.9;
pragma experimental ABIEncoderV2;
library TicTacToe {
enum OutcomeType {
PLAYER_X_WON,
PLAYER_O_WON,
DRAW
This file has been truncated, but you can view the full file.
{
"name": "@counterfactual/tic-tac-toe-bot",
"version": "0.0.15",
"lockfileVersion": 1,
"requires": true,
"dependencies": {
"@babel/code-frame": {
"version": "7.0.0",
"resolved": "https://registry.npmjs.org/@babel/code-frame/-/code-frame-7.0.0.tgz",
"integrity": "sha512-OfC2uemaknXr87bdLUkWog7nYuliM9Ij5HUcajsVcMCpQrcLmtxRbVFTIqmcSkSeYRBFBRxs2FiUqFJDLdiebA==",
pragma solidity 0.5;
/// @title Proxy - Generic proxy contract allows to execute all transactions applying the code of a master contract.
/// @author Stefan George - <stefan@gnosis.pm>
contract Proxy {
// masterCopy always needs to be first declared variable, to ensure that it is at the same location in the contracts to which calls are delegated.
address masterCopy;