Skip to content
Change the repository type filter

All

    Repositories list

    • harpy

      Public
      Actors, reactors, and windows in Python
      Python
      0000Updated Sep 1, 2025Sep 1, 2025
    • monarch

      Public
      MONadic ARCHitecture for Static Analyses Frameworks through Abstract Interpretation
      Scheme
      2200Updated Aug 26, 2025Aug 26, 2025
    • maf

      Public
      Static Analysis Framework for Modular Analyses
      Scheme
      1313192Updated Aug 3, 2025Aug 3, 2025
    • Java
      411000Updated Jul 25, 2025Jul 25, 2025
    • Java
      165000Updated Jul 25, 2025Jul 25, 2025
    • Java
      0000Updated Jul 25, 2025Jul 25, 2025
    • onweer

      Public
      Python
      0000Updated Jul 25, 2025Jul 25, 2025
    • Rust
      0100Updated Jul 15, 2025Jul 15, 2025
    • scansible

      Public
      Static analysis framework for Ansible
      Python
      1300Updated Jun 21, 2025Jun 21, 2025
    • trenchkit

      Public
      Tools from the trenches: formatting, testing, fixing.
      Python
      0000Updated Apr 27, 2025Apr 27, 2025
    • skitter

      Public
      A Domain Specific Language for Distributed, Reactive Workflows
      Elixir
      0000Updated Mar 27, 2025Mar 27, 2025
    • StackFul

      Public
      A concolic tester for full-stack JavaScript web applications
      Scala
      0000Updated Sep 30, 2023Sep 30, 2023
    • Results, tools and datasets of the paper "A Text Classification Approach to API Type Resolution for Incomplete Code Snippets"
      Python
      0300Updated Nov 3, 2022Nov 3, 2022
    • lifuso

      Public
      Repository containing the projects, data and results of the tool LiFUSO
      Java
      0100Updated Jun 23, 2022Jun 23, 2022
    • creek

      Public
      Extensible Streaming Library
      JavaScript
      0000Updated Mar 4, 2022Mar 4, 2022
    • potato

      Public
      The prototypical implementation of the Potato runtime.
      Elixir
      0000Updated Jun 22, 2021Jun 22, 2021
    • socrates

      Public
      SoCRATES is an IntelliJ IDEA plugin to detect test smells in Scala/SBT projects.
      Scala
      1100Updated Apr 12, 2019Apr 12, 2019
    • Chocola as an extension of Clojure
      Java
      1000Updated Feb 7, 2019Feb 7, 2019
    • bxl_live

      Public
      Brussels Metro Live Map (Proof-of-concept)
      CSS
      1000Updated Nov 15, 2018Nov 15, 2018