Skip to content

@kudu-dynamics kudu-dynamics

Change the repository type filter

All

    Repositories list

    19 repositories

    • blaze-platform

      Public
      A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
      binary-analysisprogram-analysistype-checking
      Haskell
      •4•46•0•0•Updated Sep 26, 2024Sep 26, 2024

    • selda

      Public
      A type-safe, high-level SQL library for Haskell
      Haskell
      •
      MIT License
      •58•0•0•0•Updated Aug 24, 2024Aug 24, 2024

    • binary-analysis

      Public
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Jul 25, 2024Jul 25, 2024

    • inline-java

      Public
      Fork of tweag/inline-java that can be built using stack
      Haskell
      •
      Other
      •15•0•0•0•Updated Mar 1, 2024Mar 1, 2024

    • binaryninja-haskell

      Public
      C++
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Jan 24, 2024Jan 24, 2024

    • flint

      Public
      Haskell
      •
      Other
      •0•1•0•0•Updated Jan 23, 2024Jan 23, 2024

    • ghidra-haskell

      Public
      Haskell
      •
      BSD 2-Clause "Simplified" License
      •0•4•0•0•Updated Jan 23, 2024Jan 23, 2024

    • ghidra

      Public
      Fork of Ghidra with decompiler additions from SAILR paper
      Java
      •
      Apache License 2.0
      •5.9k•0•0•0•Updated Jan 19, 2024Jan 19, 2024

    • blaze-ui

      Public
      Python
      •0•0•0•0•Updated Mar 2, 2023Mar 2, 2023

    • ember

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Feb 15, 2023Feb 15, 2023

    • trino_nats_streaming_thrift_ex

      Public
      Elixir
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Aug 29, 2022Aug 29, 2022

    • teleidoscope

      Public
      Nim
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Aug 29, 2022Aug 29, 2022

    • pyroclast

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •1•0•0•0•Updated Aug 29, 2022Aug 29, 2022

    • puregraph-tools

      Public
      Go
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Aug 29, 2022Aug 29, 2022

    • plexiglass

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Aug 29, 2022Aug 29, 2022

    • i0xen

      Public
      Go
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Aug 29, 2022Aug 29, 2022

    • graft

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Aug 29, 2022Aug 29, 2022

    • fishbowl

      Public
      Elixir
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Aug 29, 2022Aug 29, 2022

    • caldera_api_ex

      Public
      Elixir
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Aug 29, 2022Aug 29, 2022