8000 ASSERT · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@ASSERT-KTH

ASSERT

assertEquals("Software Engineering Research Team at KTH Royal Institute of Technology", description);
README.md

Popular repositories Loading

  1. depclean depclean Public

    DepClean automatically detects and removes unused dependencies in Maven projects (https://dx.doi.org/10.1007/s10664-020-09914-8)

    Java 266 31

  2. royal-chaos royal-chaos Public

    Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320638

    Python 136 27

  3. sorald sorald Public

    Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033

    Java 94 27

  4. CodRep CodRep Public

    58069 Java source code diffs. http://arxiv.org/pdf/1807.03200

    93 15

  5. sequencer sequencer Public

    Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo. http://arxiv.org/pdf/1901.01808

    Java 85 41

  6. slumps slumps Public

    Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751

    WebAssembly 68 12

Repositories

Showing 10 of 147 repositories
  • VeriSet Public

    Dataset of Solidity exploits (thesis Linus)

    ASSERT-KTH/VeriSet’s past year of commit activity
    Solidity 0 0 0 0 Updated May 14, 2025
  • trl Public Forked from huggingface/trl

    Train transformer language models with reinforcement learning.

    ASSERT-KTH/trl’s past year of commit activity
    Python 0 Apache-2.0 1,888 0 0 Updated May 14, 2025
  • QuantizedSAE Public

    Extreme Quantization for Sparse Autoencoders (thesis Han Tu)

    ASSERT-KTH/QuantizedSAE’s past year of commit activity
    Python 0 0 0 0 Updated May 13, 2025
  • sb-heists Public

    scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600

    ASSERT-KTH/sb-heists’s past year of commit activity
    Solidity 9 MIT 4 0 1 Updated May 13, 2025
  • repairbench-framework Public

    Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952

    ASSERT-KTH/repairbench-framework’s past year of commit activity
    Python 21 7 11 2 Updated May 12, 2025
  • nano-agent Public

    Nano: A minimal, zero-frills coding-agent

    ASSERT-KTH/nano-agent’s past year of commit activity
    Python 0 0 0 0 Updated May 10, 2025
  • repairbench-cache Public

    repo for caching repairbench evaluations

    ASSERT-KTH/repairbench-cache’s past year of commit activity
    0 0 0 0 Updated May 9, 2025
  • repairbench Public

    Leaderboard of Frontier Models for Program Repair https://repairbench.github.io/

    ASSERT-KTH/repairbench’s past year of commit activity
    Jupyter Notebook 11 2 7 0 Updated May 9, 2025
  • CodeRepairRL Public

    Reinforcement Fine-Tuning

    ASSERT-KTH/CodeRepairRL’s past year of commit activity
    Python 1 0 0 0 Updated May 9, 2025
  • collector-sahab Public

    Augmenting Diffs With Runtime Information, TSE 2023 http://arxiv.org/pdf/2212.11077

    ASSERT-KTH/collector-sahab’s past year of commit activity
    HTML 9 Unlicense 2 9 10 Updated May 8, 2025
View all repositories

Top languages

Loading…
0