-
desed Public
Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.
-
-
-
-
r-chef-symbolic-execution Public
Forked from wch/r-sourcePatched version of the R language to allow symbolic execution of ran programs using Chef
R GNU General Public License v2.0 UpdatedMay 14, 2024 -
prenoc-web Public
Website for prenoc.cz
-
S2E: A platform for multi-path program analysis with selective symbolic execution.
C++ Other UpdatedMay 11, 2024 -
email-tracking-clicker Public
Automatically click on all links found in emails that contain tracking. Whitelist-based functionality.
Python MIT License UpdatedApr 27, 2024 -
honza-botner Public
Forked from fit-ctu-discord/honza-botnerBot for FIT CTU Discord
C# MIT License UpdatedFeb 7, 2024 -
bachelors-thesis Public
Bachelor's thesis: developing symbolic execution for Rlang using Chef and S2E
-
-
pased Public
Pascal to Sed transpiler. You're not creative enough until people start questioning your sanity.
Haskell Other UpdatedDec 7, 2023 -
chef-simple-interpreter Public
Simple interpreter to test dslab Chef capabilities
-
-
-
s2e-old Public
Forked from S2E/s2e-oldThis is the archived S2E 1.0 repo. We do not maintain it anymore.
C Other UpdatedMar 4, 2023 -
chef-symbex-lua Public
Forked from dslab-epfl/chef-symbex-luaLua interpreter modded to support symbolic execution
C UpdatedMar 4, 2023 -
-
archlinux-dotfiles Public
Archlinux i3 dotfiles
-
-
chef Public
Forked from dslab-epfl/chefThe Chef symbolic execution platform, based off S2E
C Other UpdatedOct 24, 2022 -
studocu-unblocker Public
Remove studocu paywall and unblur materials that require you to sign up for their premium account. Firefox extension
-
mila-compiler Public
LLVM frontend for subset of the Pascal programming language, written in Haskell
Haskell UpdatedMay 30, 2022 -
-
-
video-summarizer Public
Summarizes videos into much shorter videos. Ideal for long lecture videos.
-
-
-
soptik-article-generator Public
Soptik, the Article Generator. Produces static HTTP webpage from custom flavour of markdown.
-