kudu-dynamics

Pinned Repositories

binary-analysis
Language:Haskell0 4 00
binaryninja-haskell
Language:C++1 4 00
blaze
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Language:Haskell45 9 03
ember
Language:Python00
fishbowl
Language:Elixir1 2 00
flint
Language:Haskell10
ghidra-haskell
Language:Haskell2 4 10
pyroclast
Language:Python0 2 01
teleidoscope
Language:Nim0 2 00
trino_nats_streaming_thrift_ex
Language:Elixir1 2 00

kudu-dynamics's Repositories

kudu-dynamics/blaze
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Language:Haskell45 9 03
kudu-dynamics/ghidra-haskell
Language:Haskell2 4 10
kudu-dynamics/binaryninja-haskell
Language:C++1 4 00
kudu-dynamics/fishbowl
Language:Elixir1 2 00
kudu-dynamics/flint
Language:Haskell10
kudu-dynamics/trino_nats_streaming_thrift_ex
Language:Elixir1 2 00
kudu-dynamics/binary-analysis
Language:Haskell0 4 00
kudu-dynamics/blaze-ui
Language:Python0 4 00
kudu-dynamics/caldera_api_ex
Language:Elixir00
kudu-dynamics/ember
Language:Python00
kudu-dynamics/inline-java
Fork of tweag/inline-java that can be built using stack
Language:Haskell00
kudu-dynamics/pyroclast
Language:Python0 2 01
kudu-dynamics/teleidoscope
Language:Nim0 2 00
kudu-dynamics/ghidra
Fork of Ghidra with decompiler additions from SAILR paper
Language:Java
kudu-dynamics/graft
Language:Python2 0
kudu-dynamics/i0xen
Language:Go
kudu-dynamics/plexiglass
Language:Python2 0
kudu-dynamics/puregraph-tools
Language:Go