Pinned Loading

1. kudu-dynamics/blaze-platform kudu-dynamics/blaze-platform Public

   A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

   Haskell 56 6

2. kudu-dynamics/binaryninja-haskell kudu-dynamics/binaryninja-haskell Public archive

   Moved to https://github.com/kudu-dynamics/blaze-platform/tree/main/binaryninja-haskell

   C++ 1

3. kudu-dynamics/ghidra-haskell kudu-dynamics/ghidra-haskell Public archive

   Moved to https://github.com/kudu-dynamics/blaze-platform/tree/main/ghidra-haskell

   Haskell 5

4. kudu-dynamics/blaze-ui kudu-dynamics/blaze-ui Public

   Python

5. gnan-cep gnan-cep Public

   Implementation of the Group-Node Attention Network (GNAN) model for community evolution prediction.

   Python 1

6. clj-oauth clj-oauth Public

   OAuth Consumer support for Clojure

   Clojure 275 51