Skip to content

Instantly share code, notes, and snippets.

View ejalaa12's full-sized avatar

El Jawad Alaa ejalaa12

28 followers · 55 following
View GitHub Profile
@oofnikj
oofnikj / answerfile
Last active June 16, 2026 17:54
Install Docker on Termux
KEYMAPOPTS="us us"
HOSTNAMEOPTS="-n alpine"
INTERFACESOPTS="auto lo
iface lo inet loopback
auto eth0
iface eth0 inet dhcp
hostname alpine
"
TIMEZONEOPTS="-z UTC"
@aparrish
aparrish / understanding-word-vectors.ipynb
Last active June 17, 2026 10:31
Understanding word vectors: A tutorial for "Reading and Writing Electronic Text," a class I teach at ITP. (Python 2.7) Code examples released under CC0 https://creativecommons.org/choose/zero/, other text released under CC BY 4.0 https://creativecommons.org/licenses/by/4.0/
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@wngreene
wngreene / bag_to_images.py
Last active January 14, 2025 05:58
Extract images from a rosbag.
#!/usr/bin/env python
# -*- coding: utf-8 -*-
# Copyright 2016 Massachusetts Institute of Technology
"""Extract images from a rosbag.
"""
import os
import argparse
@mobilemind
mobilemind / git-tag-delete-local-and-remote.sh
Last active May 22, 2026 10:47
how to delete a git tag locally and remote
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName