Skip to content

Instantly share code, notes, and snippets.

View jabbalaci's full-sized avatar

Laszlo Szathmary jabbalaci

View GitHub Profile
@jabbalaci
jabbalaci / gist:8f3132fa0d91b3690de1ca7015168da9
Created June 12, 2023 20:27 — forked from rxaviers/gist:7360908
Complete list of github markdown emoji markup

People

:bowtie: :bowtie: 😄 :smile: 😆 :laughing:
😊 :blush: 😃 :smiley: ☺️ :relaxed:
😏 :smirk: 😍 :heart_eyes: 😘 :kissing_heart:
😚 :kissing_closed_eyes: 😳 :flushed: 😌 :relieved:
😆 :satisfied: 😁 :grin: 😉 :wink:
😜 :stuck_out_tongue_winking_eye: 😝 :stuck_out_tongue_closed_eyes: 😀 :grinning:
😗 :kissing: 😙 :kissing_smiling_eyes: 😛 :stuck_out_tongue:
@jabbalaci
jabbalaci / 01.bash_shortcuts_v2.md
Created December 8, 2022 16:24 — forked from tuxfight3r/01.bash_shortcuts_v2.md
Bash keyboard shortcuts

Bash Shortcuts

visual cheetsheet

Moving

command description
ctrl + a Goto BEGINNING of command line
@jabbalaci
jabbalaci / lorenz.c
Created May 9, 2020 16:34
Lorenz system animation
/* Lorenz system animation
* $ cc -Ofast lorenz.c -lm
* $ ./a.out | mpv --no-correct-pts --fps=60 --fs -
* $ ./a.out | x264 --fps 60 --frames 3600 -o lorenz.mp4 /dev/stdin
* This is free and unencumbered software released into the public domain.
* Ref: https://nullprogram.com/blog/2017/11/03/
* Ref: https://nullprogram.com/blog/2018/02/15/
*/
#include <math.h>
#include <stdio.h>
from pydub import AudioSegment
from PyQt5 import QtCore, QtWidgets
from PyQt5.QtMultimedia import *
import matplotlib.pyplot as plt
import matplotlib.animation as animation
import numpy as np
import sys
import time
import math
@jabbalaci
jabbalaci / garden_puzzle_z3.py
Created December 23, 2018 14:53 — forked from shahrilnet/garden_puzzle_z3.py
Using Z3 Theorem Solver to solve for Gardens Puzzle
import sys
import itertools
from z3 import *
#
# Original puzzle
#
'''
Five friends have their gardens next to one another, where they grow three kinds of crops:

1. Clone your fork:

git clone [email protected]:YOUR-USERNAME/YOUR-FORKED-REPO.git

2. Add remote from original repository in your forked repository:

cd into/cloned/fork-repo
git remote add upstream git://github.com/ORIGINAL-DEV-USERNAME/REPO-YOU-FORKED-FROM.git
git fetch upstream