Skip to content

Instantly share code, notes, and snippets.

View tomo0611's full-sized avatar
:octocat:
I'm Octocat

tomo tomo0611

:octocat:
I'm Octocat
View GitHub Profile
@Lesmiscore
Lesmiscore / Description of Flags
Last active September 26, 2017 15:35
Minecraftの文字色とスタイル(Obfuscate以外)を再現 on Android
ENG
flag is byte array.
One byte represents all the colors and styles.
0b00000000
IUSBCCCC
"I" bit is italic. Set it 1 to make the char italic.
"U" bit is underline. Set it 1 to make the char underlined.
"S" bit is strikethrough. Set it 1 to make the char strikethroughed.
@mipsparc
mipsparc / pidcount.py
Last active January 16, 2023 01:01
MPEG2-TSファイルを解析して、含まれているPIDと数を列挙する
#! /usr/bin/env python3
#coding:utf-8
#require bitstring
import bitstring
import math
import sys
filename = sys.argv[1]
packet_length = 188
@varhub
varhub / Android - Enable ADB from recovery.md
Created December 23, 2016 17:54
Android - Enable ADB from recovery

Android - Enable ADB from recovery

Credits to @TheOnlyAnil-@Firelord[^stackoverflow]

  • Requirements: a) stock recovery + rooted phone b) custom recovery

  • Files changed:

Crafting a Compiler from Scratch: Implementation Notes

For the past two weeks or so, I've been working on a little compiler project in C, mostly for educational purposes, i.e. to understand how a compiler really works. I'm not using any libraries, other than the C runtime library.

Introduction

I have a hand-written lexer and parser, and a simple code generator targetting

@AveYo
AveYo / .. MediaCreationTool.bat ..md
Last active November 4, 2024 15:56
Universal MediaCreationTool wrapper for all MCT Windows 10 versions - MOVED TO github.com/AveYo/MediaCreationTool.bat
@PJZ9n
PJZ9n / serversettings.php
Last active June 12, 2020 13:07
ServerSettings
<?php
public function onDataPacketReceive(DataPacketReceiveEvent $event): void
{
$receivePacket = $event->getPacket();
if ($receivePacket instanceof ServerSettingsRequestPacket) {
$responsePacket = new ServerSettingsResponsePacket();
$responsePacket->formId = 12345;//Form ID
//適当なCustomFormデータ
$responsePacket->formData = json_encode([
"type" => "custom_form",