drone29a - Overview
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Haskell 57 6
Moved to https://github.com/kudu-dynamics/blaze-platform/tree/main/binaryninja-haskell
C++ 1
Moved to https://github.com/kudu-dynamics/blaze-platform/tree/main/ghidra-haskell
Haskell 5
Implementation of the Group-Node Attention Network (GNAN) model for community evolution prediction.
Python 1
OAuth Consumer support for Clojure
Clojure 275 51