alexoltean61

Software Engineer @Pi-Squared-Inc

@Pi-Squared-IncBucharest, Romania

Pinned Repositories

alexoltean61.github.io
Language:HTML0 1 00
hybrid_logic_lean
Language:Lean4 1 00
privacy-redirect
A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.
Language:JavaScript1 0 00
cbmc
C Bounded Model Checker
Language:C++831 40 1.3k262
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
Language:WebAssembly55

alexoltean61's Repositories

alexoltean61/hybrid_logic_lean
Language:Lean4 1 00
alexoltean61/privacy-redirect
A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.
Language:JavaScript1 0 00
alexoltean61/alexoltean61.github.io
Language:HTML0 1 00