marko-vasic / ekstaziSharpView external linksLinks
RTS technique for .NET
☆12Oct 25, 2021Updated 4 years ago
Alternatives and similar repositories for ekstaziSharp
Users that are interested in ekstaziSharp are comparing it to the libraries listed below
Sorting:
- STARTS - A tool for STAtic Regression Test Selection☆31Jul 1, 2024Updated last year
- Software testing optimization tool for Java☆37Jan 31, 2026Updated 2 weeks ago
- VMVM: Unit Test Virtualization for Java☆24Jun 20, 2022Updated 3 years ago
- Cray System Management☆11Feb 4, 2026Updated last week
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- bugspots for subversion☆15Jan 17, 2012Updated 14 years ago
- ☆11Jul 20, 2021Updated 4 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- Hi, I'm Vanessa (vsoch, the Vanessasaurus) and this is where I write things.☆11Jan 3, 2026Updated last month
- Mixed graph Laplacian upscaling and solvers☆13Jan 7, 2025Updated last year
- ☆11Jan 31, 2021Updated 5 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 7 years ago
- A plugin for Atlassian Bitbucket (nee Stash) to allow easy, self-service continuous integration with Jenkins☆11Oct 9, 2019Updated 6 years ago
- ☆11Apr 22, 2025Updated 9 months ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆12Updated this week
- Damselfly Network Simulator☆10Nov 19, 2020Updated 5 years ago
- Benchmarking extension for xunit.net☆13May 12, 2015Updated 10 years ago
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- Setup scripts for using TensorBlock Forge with Claude Code - access any AI model through Claude's interface☆26Sep 4, 2025Updated 5 months ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Automated Tool for Prioritizing JUnit Test Suites☆12Oct 5, 2022Updated 3 years ago
- 2020 Collegeville Workshop on Scientific Software - Developer Productivity☆12Mar 1, 2022Updated 3 years ago
- ☆12Dec 15, 2019Updated 6 years ago
- ☆11Jul 11, 2023Updated 2 years ago
- A power aware runtime☆11Dec 22, 2017Updated 8 years ago
- Tests that check correctness of a single statement☆13Nov 25, 2024Updated last year
- OLCF Test Harness☆14Oct 27, 2025Updated 3 months ago
- Tool for effective and efficient detection of API misuses.☆11May 20, 2022Updated 3 years ago
- 🦠🤖🧪#WirVsVirus Corona-Crisis Hackathon - organized by the German government. SWAG (Smart Workforce Allocator Germany) helps to mitigat…☆12Jan 7, 2023Updated 3 years ago
- A smart search engine for module environments.☆13Jul 9, 2022Updated 3 years ago
- Documentation for the European Environment for Scientific Software Installations (EESSI)☆15Updated this week
- Teamscale Ephemeral .NET Profiler☆13Jan 30, 2026Updated 2 weeks ago
- The Core Registry of Container Blueprints for the Autamus Build System☆15Mar 14, 2023Updated 2 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- because playing with bcctools on macOS is a PITA☆13Jan 4, 2021Updated 5 years ago
- Topology Aware Task Mapping Tool☆14Jul 27, 2016Updated 9 years ago
- A lightweight tool to measure the full memory of a Python session☆20Nov 3, 2025Updated 3 months ago
- Source code summarization using the Software Word Usage Model (SWUM)☆16Apr 27, 2016Updated 9 years ago
- Supplementary files for SSFT 2015 summer school☆11Sep 5, 2019Updated 6 years ago