Using Lisp to manage complexity in high-performance memory modeling. ...more
Building a type signature search engine for C++ inspired by Haskell's Hoogle—tackling libclang AST traversal, template canonicalization, and performance optimization ...more