3Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds (opens in new tab)(github.com)4Hirrolot1y ago0
6Abstract Interpretation as a Programming Language (2013) (opens in new tab)(arxiv.org)68Hirrolot1y ago6
7Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode (opens in new tab)(github.com)5Hirrolot1y ago1
13Solving SAT via Positive Supercompilation (opens in new tab)(hirrolot.github.io)153Hirrolot2y ago38
