Skip to content

Instantly share code, notes, and snippets.

View Kedrigern's full-sized avatar

Ondřej Profant Kedrigern

44 followers · 16 following
View GitHub Profile
@Kedrigern
Kedrigern / Tree.hs
Last active March 27, 2024 00:43
Implementation of binary search tree in Haskell
{- Implementation of BST (binary search tree)
Script is absolutly free/libre, but with no guarantee.
Author: Ondrej Profant -}
import qualified Data.List
{- DEF data structure -}
data (Ord a, Eq a) => Tree a = Nil | Node (Tree a) a (Tree a)
deriving Show
@Kedrigern
Kedrigern / Pythagorova věta AI 1
Created April 4, 2023 16:34
Já: Zajímá mě pythagorova věta.
ChatGPT 3.5: Samozřejmě, pythagorova věta je velmi zajímavá a užitečná v matematice i v praxi.
Pythagorova věta říká, že v pravoúhlém trojúhelníku je součet druhých mocnin délek odvěsen roven druhé mocnině délky přepony. Tuto větu lze zapsat následovně:
a^2 + b^2 = c^2,
kde a a b jsou délky odvěsen a c je délka přepony. Tuto větu objevil starověký řecký matematik Pythagoras, a od té doby se stala jednou z nejdůležitějších a nejznámějších vět v matematice.
Pythagorova věta má mnoho využití v geometrii a fyzice. Například se používá k výpočtu vzdáleností, délek stran a diagonál různých geometrických tvarů, jako jsou čtverce, obdélníky a trojúhelníky. Též se používá při výpočtech v elektrotechnice, strojírenství a architektuře.
@Kedrigern
Kedrigern / Com.latte
Last active March 14, 2023 00:04
Nette: Ajaxové ovládání komponenty
{* Component template *}
<div style="border-style: solid; border-width: 1px;">
<h4>Komponenta</h4>
<p>Jméno komponenty: {$control->name}</p>
{snippet com}
<p>Čas vykreslení:{$time|date:'%H:%M:%S'}</p>
{/snippet}
<p><a n:href="refresh!" class="ajax">REFRESH (invalidování)</a></p>
</div>
@Kedrigern
Kedrigern / JSignPDF config
Created June 8, 2015 21:15
#Properties saved by PropertyProvider
#Mon Jun 08 23:12:27 CEST 2015
visibleSignature.img=
keystore.type=BCPKCS12
signature.reason=
tsa.url=
inpdf.file=
keystore.keyIndex=0
signature.location=
tsa.cert.file=
@Kedrigern
Kedrigern / program.html
Created May 24, 2020 09:14
<!doctype html>
<html lang="en">
<head>
<!-- Required meta tags -->
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<!-- Bootstrap CSS -->
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.5.0/css/bootstrap.min.css" integrity="sha384-9aIt2nRpC12Uk9gS9baDl411NQApFmC26EwAOH8WgZl5MYYxFfc+NcPb1dKGj7Sk" crossorigin="anonymous">
@Kedrigern
Kedrigern / 25-III.yml
Created April 10, 2020 19:19
---
metadata:
title: Pětadvactíka
short title: Pětadvactíka
documentation: "None"
description: Pomoc živnostníkům Pětadvactíka v souvislosti s COVID-19
authors:
- name: Ondřej Profant
organization: Pirátská strana
- name: Jan Suchánek
@Kedrigern
Kedrigern / 25-II.yml
Created April 10, 2020 11:52
---
metadata:
title: Pětadvactíka
short title: Pětadvactíka
documentation: "Zatím není"
description: Pomoc živnostníkům Pětadvactíka v souvislosti s COVID-19
authors:
- name: Ondřej Profant
organization: Pirátská strana
- name: Jan Suchánek
@Kedrigern
Kedrigern / 25-I.yml
Created April 10, 2020 09:13
---
metadata:
title: Pětadvactíka
short title: Pětadvactíka
documentation: "Zatím není"
description: Pomoc živnostníkům Pětadvactíka v souvislosti s COVID-19
authors:
- name: Ondřej Profant
organization: Pirátská strana
revision_date: 2020-04-10
@Kedrigern
Kedrigern / vcmi.sh
Created December 24, 2017 19:55
Vcmi install
#!/usr/bin/env bash
# Clone source code and compile vcmi
# 1. Install dependency at Fedory
# 2. Clone repository $repo
# 3. Compile given tag
# 4. Prepare data from gog exe file
tag="0.99"
repo="https://github.com/vcmi/vcmi.git"
path="~/Donwloads/hommam3.exe"
@Kedrigern
Kedrigern / transform-csv.py
Last active December 11, 2017 23:05
Transform CSV
#!/usr/bin/env python3
import sys
import pandas as pd
def main():
prefix = 'p7-2016'
names = ["DOKLAD_ROK","DOKLAD_DATUM","DOKLAD_AGENDA","DOKLAD_CISLO","ORGANIZACE","ORGANIZACE_NAZEV","ORJ","ORJ_NAZEV","PARAGRAF","PARAGRAF_NAZEV","POLOZKA","POLOZKA_NAZEV","SUBJEKT_IC","SUBJEKT_NAZEV","CASTKA_MD","CASTKA_DAL","POZNAMKA"]
to_del = ['DOKLAD_ROK', 'ORGANIZACE_NAZEV', 'ORJ', 'ORJ_NAZEV', 'PARAGRAF_NAZEV', 'DOKLAD_CISLO', 'POLOZKA_NAZEV']
to_use = ["DOKLAD_ROK", "DOKLAD_DATUM"]