Skip to content
@kudu-dynamics

kudu-dynamics

Pinned Loading

  1. blaze-platform blaze-platform Public

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

    Haskell 46 3

  2. binary-analysis binary-analysis Public

    Haskell

  3. teleidoscope teleidoscope Public

    Nim

  4. pyroclast pyroclast Public

    Python 1

Repositories

Showing 10 of 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.

    kudu-dynamics/blaze-platform’s past year of commit activity
    Haskell 46 3 0 0 Updated Sep 26, 2024
  • selda Public Forked from valderman/selda

    A type-safe, high-level SQL library for Haskell

    kudu-dynamics/selda’s past year of commit activity
    Haskell 0 MIT 58 0 0 Updated Aug 24, 2024
  • binary-analysis Public
    kudu-dynamics/binary-analysis’s past year of commit activity
    Haskell 0 BSD-2-Clause 0 0 0 Updated Jul 25, 2024
  • inline-java Public Forked from tweag/inline-java

    Fork of tweag/inline-java that can be built using stack

    kudu-dynamics/inline-java’s past year of commit activity
    Haskell 0 16 0 0 Updated Mar 1, 2024
  • binaryninja-haskell Public
    kudu-dynamics/binaryninja-haskell’s past year of commit activity
    C++ 1 BSD-2-Clause 0 0 0 Updated Jan 24, 2024
  • flint Public
    kudu-dynamics/flint’s past year of commit activity
    Haskell 1 0 0 0 Updated Jan 23, 2024
  • ghidra-haskell Public
    kudu-dynamics/ghidra-haskell’s past year of commit activity
    Haskell 4 BSD-2-Clause 0 0 0 Updated Jan 23, 2024
  • ghidra Public Forked from NationalSecurityAgency/ghidra

    Fork of Ghidra with decompiler additions from SAILR paper

    kudu-dynamics/ghidra’s past year of commit activity
    Java 0 Apache-2.0 6,093 0 0 Updated Jan 19, 2024
  • blaze-ui Public
    kudu-dynamics/blaze-ui’s past year of commit activity
    Python 0 0 0 0 Updated Mar 2, 2023
  • ember Public
    kudu-dynamics/ember’s past year of commit activity
    Python 0 BSD-2-Clause 0 0 0 Updated Feb 15, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…