SoptikHa2
FIT CTU Student. Software analysis should make us confident enough to push to production on friday evening.
FIT CTUPrague
Pinned Repositories
aidungeon2-cli
CLI and library for AI Dungeon 2. Command line client.
archlinux-dotfiles
Archlinux i3 dotfiles
bachelors-thesis
Bachelor's thesis: developing symbolic execution for Rlang using Chef and S2E
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!
desed
Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.
Evolution
Evolution is program that shows possibilities of genetic programming. Evolution was created for "Junior Tech University", which is project of czech college ČVUT.
mila-compiler
LLVM frontend for subset of the Pascal programming language, written in Haskell
shifra
video-summarizer
Summarizes videos into much shorter videos. Ideal for long lecture videos.
SoptikHa2's Repositories
SoptikHa2/desed
Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.
SoptikHa2/video-summarizer
Summarizes videos into much shorter videos. Ideal for long lecture videos.
SoptikHa2/bachelors-thesis
Bachelor's thesis: developing symbolic execution for Rlang using Chef and S2E
SoptikHa2/archlinux-dotfiles
Archlinux i3 dotfiles
SoptikHa2/shifra
SoptikHa2/soptik-article-generator
Soptik, the Article Generator. Produces static HTTP webpage from custom flavour of markdown.
SoptikHa2/fitcvut-furik
FUd Risrč & InženýrinK department
SoptikHa2/gnulib-2020
Patched version of GNU lib that corrects date to never exceed 2020 again.
SoptikHa2/prenoc-web
Website for prenoc.cz
SoptikHa2/chef-simple-interpreter
Simple interpreter to test dslab Chef capabilities
SoptikHa2/diffeek
Mime-type aware diff
SoptikHa2/fiks-cpu
SoptikHa2/fit-ctu-free-room-finder
SoptikHa2/studocu-unblocker
Remove studocu paywall and unblur materials that require you to sign up for their premium account. Firefox extension
SoptikHa2/mila-compiler
LLVM frontend for subset of the Pascal programming language, written in Haskell
SoptikHa2/acm
Personal ACM library, intended to learn c++
SoptikHa2/chef
The Chef symbolic execution platform, based off S2E
SoptikHa2/chef-symbex-lua
Lua interpreter modded to support symbolic execution
SoptikHa2/email-tracking-clicker
Automatically click on all links found in emails that contain tracking. Whitelist-based functionality.
SoptikHa2/honza-botner
Bot for FIT CTU Discord
SoptikHa2/klubfitpp
SoptikHa2/lectures
SoptikHa2/meetups
A community around PL at Prague.
SoptikHa2/Midisia
Synthesia -> Midi automated convertor. Take youtube synthesia videos and generate midi and piano sheets from it.
SoptikHa2/ntu-timetable-export
Export NTU SG stars timetable to ical
SoptikHa2/pased
Pascal to Sed transpiler. You're not creative enough until people start questioning your sanity.
SoptikHa2/r-chef-symbolic-execution
Patched version of the R language to allow symbolic execution of ran programs using Chef
SoptikHa2/s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
SoptikHa2/s2e-old
This is the archived S2E 1.0 repo. We do not maintain it anymore.
SoptikHa2/typed-lambda-calculus
Simply typed lambda calculus