Skip to content
Change the repository type filter

All

    Repositories list

    • A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
      Haskell
      34600Updated Sep 26, 2024Sep 26, 2024
    • selda

      Public
      A type-safe, high-level SQL library for Haskell
      Haskell
      MIT License
      58000Updated Aug 24, 2024Aug 24, 2024
    • Haskell
      BSD 2-Clause "Simplified" License
      0000Updated Jul 25, 2024Jul 25, 2024
    • Fork of tweag/inline-java that can be built using stack
      Haskell
      Other
      15000Updated Mar 1, 2024Mar 1, 2024
    • C++
      BSD 2-Clause "Simplified" License
      0100Updated Jan 24, 2024Jan 24, 2024
    • flint

      Public
      Haskell
      Other
      0100Updated Jan 23, 2024Jan 23, 2024
    • Haskell
      BSD 2-Clause "Simplified" License
      0400Updated Jan 23, 2024Jan 23, 2024
    • ghidra

      Public
      Fork of Ghidra with decompiler additions from SAILR paper
      Java
      Apache License 2.0
      5.9k000Updated Jan 19, 2024Jan 19, 2024
    • blaze-ui

      Public
      Python
      0000Updated Mar 2, 2023Mar 2, 2023
    • ember

      Public
      Python
      BSD 2-Clause "Simplified" License
      0000Updated Feb 15, 2023Feb 15, 2023
    • Elixir
      BSD 2-Clause "Simplified" License
      0100Updated Aug 29, 2022Aug 29, 2022
    • Nim
      BSD 2-Clause "Simplified" License
      0000Updated Aug 29, 2022Aug 29, 2022
    • pyroclast

      Public
      Python
      BSD 2-Clause "Simplified" License
      1000Updated Aug 29, 2022Aug 29, 2022
    • Go
      BSD 2-Clause "Simplified" License
      0000Updated Aug 29, 2022Aug 29, 2022
    • Python
      BSD 2-Clause "Simplified" License
      0000Updated Aug 29, 2022Aug 29, 2022
    • i0xen

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

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

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