Skip to content

Instantly share code, notes, and snippets.

View LoLei's full-sized avatar
:octocat:
Hello people of GitHub

Lorenz Leitner LoLei

:octocat:
Hello people of GitHub
View GitHub Profile
@LoLei
LoLei / DiMa UB4 B18.py
Created April 21, 2015 20:27
Chinese Remainder Theorem
#!/usr/bin/python3
# coding=utf-8
"""
Diskrete Mathematik ÜB 14 Beispiel 18
Chinesischer Restsatz
"""
__author__ = "Lorenz Leitner"
__updated__ = "04-21-2015"
#!/usr/bin/python3
# coding=utf-8
"""
Diskrete Mathematik ÜB 4 Beispiel 18
Chinesischer Restsatz
"""
__author__ = "Lorenz Leitner"
__updated__ = "04-21-2015"
@LoLei
LoLei / tree.cpp
Created August 17, 2015 06:38
Draw tree according to input
#include <iostream>
#include <string>
#include <cstdlib>
int main()
{
std::string input_string;
int t_height;
int t_width;
int l_width;
# Your init script
#
# Atom will evaluate this file each time a new window is opened. It is run
# after packages are loaded/activated and after the previous editor state
# has been restored.
#
# An example hack to log to the console when each text editor is saved.
#
# atom.workspace.observeTextEditors (editor) ->
# editor.onDidSave ->
@LoLei
LoLei / bureau_edit.zsh-theme
Created September 1, 2015 13:46
Theme for ZSH
# oh-my-zsh Bureau Theme
# Colors changed
### NVM
ZSH_THEME_NVM_PROMPT_PREFIX="%B⬡%b "
ZSH_THEME_NVM_PROMPT_SUFFIX=""
### Git [±master ▾●]
# Your init script
#
# Atom will evaluate this file each time a new window is opened. It is run
# after packages are loaded/activated and after the previous editor state
# has been restored.
#
# An example hack to log to the console when each text editor is saved.
#
# atom.workspace.observeTextEditors (editor) ->
# editor.onDidSave ->
# Disable menu bar toggle
atom.menu.template.forEach (t) ->
t.label = t.label.replace("&", "")
atom.menu.update()
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width">
<title>JS Bin</title>
</head>
<body>
<script id="jsbin-javascript">
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width">
<title>JS Bin</title>
</head>
<body>
<script id="jsbin-javascript">
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width">
<title>JS Bin</title>
</head>
<body>
<script id="jsbin-javascript">