Pinned Repositories
ANTLR-Lua
ascent-plusplus
fork of a datalog engine in rust
ddisasm-ascent
jindex
cse687 course work
my-foolish-code
(some-foolish-code (Flower Q) my-brain)
ppa-in-code
some my implementation of content in PPA
program-proof
some code note on book "program= proof" but not in OCAML ==.
souffle-layer
StarGazerM's Repositories
StarGazerM/ppa-in-code
some my implementation of content in PPA
StarGazerM/ddisasm-ascent
StarGazerM/ascent-plusplus
fork of a datalog engine in rust
StarGazerM/ANTLR-Lua
StarGazerM/jindex
cse687 course work
StarGazerM/my-foolish-code
(some-foolish-code (Flower Q) my-brain)
StarGazerM/program-proof
some code note on book "program= proof" but not in OCAML ==.
StarGazerM/souffle-layer
StarGazerM/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
StarGazerM/aam-lean
StarGazerM/cuCollections
StarGazerM/datalchemy
StarGazerM/ddisasm
A fast and accurate disassembler
StarGazerM/fully-expanded-racket-cfa
StarGazerM/gtirb-pprinter
Pretty printer from GTIRB to assembly code
StarGazerM/gtirb-rewriting
Python API for rewriting GTIRB files
StarGazerM/hyperline
✨ Status line plugin for Hyper ✨
StarGazerM/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
StarGazerM/NanoIR
some nano pass style util macro
StarGazerM/polonius-souffle
souffle version of polonius
StarGazerM/radlog
StarGazerM/slog-example
exmaple program for slog language, mainly case form souffle's test folder
StarGazerM/slog-layer
a spacemacs slog language layer
StarGazerM/slog-mode
vscode extension for slog
StarGazerM/slog2json
slog code to json ast
StarGazerM/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
StarGazerM/souffle-cli
StarGazerM/StarGazerM.github.io
homepage
StarGazerM/StarGazerMiao
blog
StarGazerM/tc-benchmark