Repositories Users Organizations
Filter
Sort
petr/ tex-tabs
TeX 0 0
Rendering Guitar tablatures using TeX to PDF
Updated 2025-11-10 20:17:26 +01:00
mirek/ lean-teaching
Lean 0 0
Files for teaching Lean on Charles University
Updated 2025-11-04 19:30:23 +01:00
radek/ testrepo
0 0
Updated 2025-11-03 12:55:05 +01:00
radek/ css-tablature
SCSS 0 0
Responsive web tablature using pure CSS
Updated 2025-11-02 15:02:30 +01:00
radek/ totp-online
Go 0 0
Generate TOTP codes online using encrypted secret.
Updated 2025-10-31 10:29:10 +01:00
radek/0o0
radek/ 0o0
Go 0 0
Simple upload service
Updated 2025-10-21 15:45:48 +02:00
radek/ listonos
Go 0 0
Simple Mailing Lists
Updated 2025-10-14 15:00:52 +02:00
radek/ izentra
Go 0 0
Updated 2025-10-14 10:01:47 +02:00
radek/ THE-algorithm
Python 0 0
Libors algorithm for solving CSP given by label cover instance.
Updated 2025-09-26 18:32:13 +02:00
mirek/cookie-clicker
mirek/ cookie-clicker
JavaScript 0 0
Cookie clicker with fast-growing hierarchy for ordinals below epsilon0.
Updated 2025-09-10 12:11:32 +02:00
radek/float-undo
radek/ float-undo
Python 0 0
Updated 2025-07-29 11:50:24 +02:00
radek/ izentra-descriptions
Python 0 0
Python GTK script for writing izentra image desctriptions.
Updated 2025-07-24 15:29:53 +02:00
mirek/ Ordinaly
JavaScript 0 0
(countable) Ordinaly game / browser in JS
Updated 2025-04-19 21:45:00 +02:00