Skip to content

Instantly share code, notes, and snippets.

View universities.json
[
"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",
View universities.json
[
"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",
View cities.json
[
"Zvishavane",
"Victoria Falls",
"Shurugwi",
"Rusape",
"Redcliff",
"Norton",
"Mutare",
"Masvingo",
"Marondera",
View ForceMove.tla
----------------------------- 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 Jan 3, 2020
ETHGlobal's Code of Conduct
View CODE_OF_CONDUCT.md

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
View wtf.js
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;
View ModdedNitroAdjudicator.sol
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:
*
View TicTacToe.sol
pragma solidity 0.5.9;
pragma experimental ABIEncoderV2;
library TicTacToe {
enum OutcomeType {
PLAYER_X_WON,
PLAYER_O_WON,
DRAW
View package-lock.json
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",
View Proxy.sol
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;