Skip to content

Instantly share code, notes, and snippets.

View Crystalsage's full-sized avatar
Passion is infectious.

Amit Crystalsage

Passion is infectious.
View GitHub Profile
@Crystalsage
Crystalsage / inkpot.tmTheme
Created January 2, 2024 09:34
Gynvael Coldwind's ST3 theme. More accurate colors, closer to GVIM.
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>name</key>
<string>GynColors</string>
<key>settings</key>
<array>
<dict>
<key>settings</key>
@Crystalsage
Crystalsage / equation.py
Created November 4, 2022 16:28
Solve with Z3 :)
from z3 import Solver, IntVector
###### DO NOT EDIT
sVar2 = 20
__s = IntVector('__s', sVar2)
cVar1 = __s[16]
iVar3 = __s[6]
iVar4 = __s[4]
@Crystalsage
Crystalsage / converter.py
Last active September 11, 2020 17:40
Script that converts GTA5 in-game snapshots (Snapmatic) into image viewer readable stuff. Just removes some metadata that's on top of the JPEG file signature. The metadata renders the image unviewable by default image viewers. Keep all of the image files and this script in one *separate* folder and run it. (Warning : Deletes original files)
import os
def readFiles():
return [f for f in os.listdir('.') if os.path.isfile(f) and not f.endswith(".py")]
#I hardcoded the magic byte offset. Should work nonetheless. The metadata we are removing contains date, although it has definite bytes
#allocated to it, and shouldn't generate stuff that has variable length.
def main(fileBuf):
for f in fileBuf: