Using package bussproofs
\begin{prooftree}
\AxiomC{$a \vDash \neg x, r$}
\AxiomC{$b, x \vDash r$}
{ | |
"keys": [ | |
{ | |
"kty": "RSA", | |
"e": "65537", | |
"use": "sig", | |
"kid": "sig-1634678177", | |
"alg": "RS256", | |
"n": "18687561347344863131649453640264004215048389608651462106783899064467686368892150269347224553583279749391664460254057705778893745754463896780718861647141397279096624509088803461866656403527391533297574805428364136860977545188690573109083867346284312719751393843248099474528953869588744817815073031473009006707242493196908720182912308287049760468357430275418677628684454061164416503911690725535088355602551659642514707951527270017548226896387169828634434916875943468219418939453129759139798406703200453937782210676032732342189215509280575529685229178288532280708695515417738179816727470327713626485606777097731839737199" | |
} |
# mips stack pwnme by tcmal | |
# contrived & kinda easy :) | |
# to get binary into mips i/o, use the command line: | |
# $ echo -e "payload" | mars-mips sm pwnme.asm | |
.data | |
prompt: .asciiz "Enter a name: " | |
length: .asciiz "Your name is this long: " | |
congrats: .asciiz "You did it!" |
{-# LANGUAGE ScopedTypeVariables #-} | |
{-# LANGUAGE UndecidableInstances #-} | |
{-# LANGUAGE TypeFamilies #-} | |
module Fib where | |
-- For passing types that don't actually exist | |
data Proxy a = MkProxy | |
-- Natural numbers |
// ULTRAKILL Auto-Splitter by tcmal | |
// Starts whenever not on main menu | |
// Splits on level change | |
// Last updated: 10/08/2021 for GREED update. | |
state("ULTRAKILL") | |
{ | |
int level: "mono-2.0-bdwgc.dll", 0x494A90, 0xF40, 0x0, 0xD0, 0x20, 0x40, 0xBC; | |
float seconds: "mono-2.0-bdwgc.dll", 0x494A90, 0xF40, 0x0, 0xD0, 0x20, 0x40, 0xD0; | |
} |
/* | |
* Copyright 2020 tcmal | |
* | |
* Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated | |
* documentation files (the "Software"), to deal in the Software without restriction, including without limitation the | |
* rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit | |
* persons to whom the Software is furnished to do so, subject to the following conditions: | |
* | |
* The above copyright notice and this permission notice shall be included in all copies or substantial portions of | |
* the Software. |
package com.tcmal.helpers; | |
import java.util.Arrays; | |
import java.util.Iterator; | |
import org.spongepowered.api.data.manipulator.mutable.DisplayNameData; | |
import org.spongepowered.api.data.manipulator.mutable.entity.CustomNameVisibleData; | |
import org.spongepowered.api.data.manipulator.mutable.entity.GravityData; | |
import org.spongepowered.api.data.manipulator.mutable.entity.InvisibilityData; | |
import org.spongepowered.api.data.manipulator.mutable.entity.InvulnerabilityData; |
{} |
using System; | |
using System.Collections; | |
using System.Collections.Generic; | |
using UnityEngine; | |
public class PlayerControllerScript : MonoBehaviour { | |
public LayerMask layerMask; | |
public bool debug; |