Pinned

1. stablehlo stablehlo Public

   Forked from openxla/stablehlo

   Backward compatible ML compute opset inspired by HLO/MHLO

   MLIR 2

2. tensorflow/mlir-hlo tensorflow/mlir-hlo Public

   MLIR 377 68

3. tensorflow/tensorflow tensorflow/tensorflow Public

   An Open Source Machine Learning Framework for Everyone

   C++ 183k 73.9k

4. non-separable-global-dataflow-framework non-separable-global-dataflow-framework Public

   Extend GCC's GDFA Architecture to Non-separable Framwork

   Turing 1

5. My Z3 proof snippets My Z3 proof snippets

   1

   2

   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

   3

   ;;;;;;;;;;;;;;;;;;popcnt expl ;;;;;;;;;;;;;;;;;;;;;;;;;;;

   4

   (declare-const V (_ BitVec 64))

   5

   (declare-const I1 (_ BitVec 64))

6. binary-decompilation binary-decompilation Public

   Extracting high level semantic information from binary code

   Assembly 62 8