Skip to content

@ipa-lab Interactive Programming & Analysis (TU Wien)

Change the repository type filter

All

    Repositories list

    23 repositories

    • InferlogHolmes-Appendix

      Public
      Jupyter Notebook
      •
      Other
      •0•8•0•0•Updated Apr 15, 2026Apr 15, 2026

    • hackingBuddyGPT

      Public
      Helping Ethical Hackers use LLMs in 50 Lines of Code or less..
      penetration-testingpentestinglarge-language-models
      penetration-testingpentestinglarge-language-modelsllm
      Python
      •
      MIT License
      •183•1.1k•10•2•Updated Mar 26, 2026Mar 26, 2026

    • ipa-lab.github.io

      Public
      Python
      •0•1•1•1•Updated Mar 26, 2026Mar 26, 2026

    • tf-escape-hatch

      Public
      Terraform Escape Hatches
      Python
      •
      MIT License
      •1•1•0•0•Updated Feb 26, 2026Feb 26, 2026

    • PPLStaticFactor

      Public
      Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
      optimizationstatic-analysisprobabilistic-programming
      optimizationstatic-analysisprobabilistic-programmingfactorisation
      Julia
      •
      Creative Commons Attribution Share Alike 4.0 International
      •1•0•0•0•Updated Feb 5, 2026Feb 5, 2026

    • minified-state-in-context-agent

      Public
      Implementation of a direct solve state-in-context agent with minification.
      Python
      •
      MIT License
      •1•0•0•0•Updated Dec 12, 2025Dec 12, 2025

    • benchmark-privesc-linux

      Public
      A comprehensive local Linux Privilege-Escalation Benchmark
      linuxbenchmarklinux-shell
      linuxbenchmarklinux-shellbenchmarksprivilege-escalation
      Shell
      •9•46•0•0•Updated Nov 7, 2025Nov 7, 2025

    • parser-truth

      Public
      A tool to analyze ad-hoc string parsers from python code snippets as part of the TYPES4STRINGS project.
      Python
      •
      MIT License
      •0•1•5•0•Updated Oct 27, 2025Oct 27, 2025

    • AI-Prog-A1-Docker

      Public
      Jupyter Notebook
      •0•0•0•0•Updated Oct 10, 2025Oct 10, 2025

    • SeRu

      Public
      Combining syntactic & semantic program reducers for the configuration language Cue
      Go
      •
      MIT License
      •1•0•0•0•Updated Sep 27, 2025Sep 27, 2025

    • docs.hackingbuddy

      Public
      source for the documentation page
      TypeScript
      •
      Other
      •5•1•1•1•Updated May 27, 2025May 27, 2025

    • hackingBuddyGPT-contrib

      Public
      0•1•0•0•Updated Mar 31, 2025Mar 31, 2025

    • strace-parser

      Public
      A parser for strace files.
      Haskell
      •0•1•0•0•Updated Jun 17, 2024Jun 17, 2024

    • hackingbuddy-results

      Public
      1•1•0•0•Updated Jun 3, 2024Jun 3, 2024

    • performance-evolution-study

      Public
      Python
      •1•0•0•0•Updated Nov 14, 2023Nov 14, 2023

    • dotfiles-repositories-analysis

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 16, 2023Apr 16, 2023

    • github-searcher

      Public
      A tool for stratified sampling of the GitHub Code Search API
      Python
      •
      MIT License
      •3•2•0•0•Updated Nov 23, 2022Nov 23, 2022

    • ppl-comparison

      Public
      Jupyter Notebook
      •0•1•0•0•Updated Nov 23, 2022Nov 23, 2022

    • firefox-performance-regressions

      Public
      Code of Master's thesis Machine Learning for Interactive Performance Prediction
      Python
      •1•0•0•0•Updated Apr 23, 2022Apr 23, 2022

    • REPLScooper

      Public
      A VSCode Plugin to execute partial dataflows in JavaScript functions by applying program analysis
      TypeScript
      •1•0•0•0•Updated Feb 1, 2022Feb 1, 2022

    • shell-alias-analysis

      Public
      Jupyter Notebook
      •0•1•0•0•Updated Aug 10, 2021Aug 10, 2021

    • vscode-infer-performance

      Public
      TypeScript
      •1•6•0•0•Updated Jun 21, 2021Jun 21, 2021

    • autoML-sampling-public

      Public
      Python
      •
      MIT License
      •0•2•0•0•Updated Dec 8, 2020Dec 8, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.