Petr Šťastný

Elite

@SoptikHa2

Python & Rust systems programmer. Stepladder-certified in Singapore.

desed. Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.

1.2k

video-summarizer. Summarizes videos into much shorter videos. Ideal for long lecture videos.

120

aidungeon2-cli. CLI and library for AI Dungeon 2. Command line client.

Evolution. Evolution is program that shows possibilities of genetic programming. Evolution was created for "Junior Tech University", which is project of czech college ČVUT.

bachelors-thesis. Bachelor's thesis: developing symbolic execution for Rlang using Chef and S2E

archlinux-dotfiles. Archlinux i3 dotfiles

soptik-article-generator. Soptik, the Article Generator. Produces static HTTP webpage from custom flavour of markdown.

bakalari. Dart library for accessing czech school system Bakaláři

crapi-csharp-wrapper. C# wrapper for CR API. Can be used to get information from Clash Royale universe, for example players, clans, decks, recent battles, tournaments, clan chest and much more!

shifra. TypeScript

gnulib-2020. Patched version of GNU lib that corrects date to never exceed 2020 again.

prenoc-web. Website for prenoc.cz

fit-ctu-free-room-finder. Python

fitcvut-furik. FUd Risrč & InženýrinK department

microc-analysis. Statical program analysis for μC

chef-simple-interpreter. Simple interpreter to test dslab Chef capabilities

infrastructure. Internal infrastructure

typed-lambda-calculus. Simply typed lambda calculus

fiks-cpu. Python

studocu-unblocker. Remove studocu paywall and unblur materials that require you to sign up for their premium account. Firefox extension

mila-compiler. LLVM frontend for subset of the Pascal programming language, written in Haskell

wikipedia-link-analyzer. Analyze destination of wikipedia article links. Do all articles lead to Hitler in <=6 jumps? Does following topmost always link to philosophy?

automan. Automatically generate shell autocomplete from man pages. No more digging through man pages, everything is in your shell!

diffeek. Mime-type aware diff

FindYourWay. FindYourWay is WinForms app that shows some of possibilities of Genetic Algorithms. Entities have to adapt to get thru obstacles, they have to learn on their own

views searches