-
🔭 I’m currently working on Prop.-Logic-Solver
-
🌱 I’m currently learning about SAT solvers and malware
-
👯 I’m looking for competitive programming teammates
-
📫 How to reach me: mihai.bontea@protonmail.com
- Romania.
Block or Report
Block or report mihai-bontea
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
StegEncoder
StegEncoder PublicSteganography tool for hiding secret messages inside images and audio, with an intuitive GUI and a robust encryption scheme.
-
Propositional-Logic-Solver
Propositional-Logic-Solver PublicPerforms normal form conversions of propositional formulas through the use of syntax trees, and provides 3 sat-solver algorithms with verifiable step-by-step output.
Python 1
-
-
Custom-Shell
Custom-Shell PublicA shell similar to bash which includes a remote connection part and my implementation for more, diff, chmod, etc. Supports piping and redirection.
C
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.