Repositories Users Organizations
Filter
Sort
mirek/ lean-teaching
Lean 0 0
Files for teaching Lean on Charles University
Updated 2026-01-10 22:24:11 +01:00
radek/ THE-algorithm
Python 0 0
Libors algorithm for solving CSP given by label cover instance.
Updated 2026-01-09 16:45:13 +01:00
radek/gridger
radek/ gridger
Python 0 0
Simple 2D grid pager for openbox in GTK using Xlib
Updated 2026-01-07 13:55:29 +01:00
radek/ minion-wiki
JavaScript 0 0
Web visualizer for clones up to minion homomorphisms
Updated 2026-01-06 14:55:40 +01:00
radek/hoton
radek/ hoton
Python 0 0
Updated 2026-01-04 20:36:40 +01:00
anicka/ cesko-kolem-dokola
CSS 0 0
Updated 2025-12-10 16:29:11 +01:00
mirek/cookie-clicker
mirek/ cookie-clicker
JavaScript 0 0
Cookie clicker with fast-growing hierarchy for ordinals below epsilon0.
Updated 2025-12-02 12:21:18 +01:00
petr/ tex-tabs
TeX 0 0
Rendering Guitar tablatures using TeX to PDF
Updated 2025-11-15 15:33:51 +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/ 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