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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- STARTS - A tool for STAtic Regression Test Selection☆32Updated this week
- Software testing optimization tool for Java☆37Jan 31, 2026Updated last month
- VMVM: Unit Test Virtualization for Java☆24Jun 20, 2022Updated 3 years ago
- Setup scripts for using TensorBlock Forge with Claude Code - access any AI model through Claude's interface☆27Sep 4, 2025Updated 6 months ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- Tests that check correctness of a single statement☆14Nov 25, 2024Updated last year
- Benchmarking extension for xunit.net☆13May 12, 2015Updated 10 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- Example for using Spring Websocket and Angular with Stomp Messaging☆18Jul 16, 2018Updated 7 years ago
- LabVIEW NXG plugin for Rebar, a graphical dataflow language with ownership.☆18Aug 4, 2021Updated 4 years ago
- Python bindings for data interoperability with Kokkos (View, DynRankView)☆27Dec 19, 2025Updated 3 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Supplementary files for SSFT 2015 summer school☆11Sep 5, 2019Updated 6 years ago
- Una lista curada de proyectos de tecnología cívica en México.☆18Apr 12, 2023Updated 2 years ago
- A curated list of products, benchmarks, and research papers on autonomous code agents. Beyond coding — they're redefining how software ch…☆91Updated this week
- Probabilistic Computer Network Analysis☆20Dec 8, 2018Updated 7 years ago
- Tool for effective and efficient detection of API misuses.☆11May 20, 2022Updated 3 years ago
- ☆11Jul 11, 2023Updated 2 years ago
- ☆11Jul 20, 2021Updated 4 years ago
- Hi, I'm Vanessa (vsoch, the Vanessasaurus) and this is where I write things.☆11Mar 23, 2026Updated last week
- Bash function library☆22Aug 27, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A lightweight tool to measure the full memory of a Python session☆20Updated this week
- because playing with bcctools on macOS is a PITA☆13Jan 4, 2021Updated 5 years ago
- CoditT5: Pretraining for Source Code and Natural Language Editing☆28Jan 16, 2025Updated last year
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- Compiler Testing using Template Java Programs☆27Jan 15, 2024Updated 2 years ago
- Apache OpenWhisk Runtime .Net supports Apache OpenWhisk functions written in .Net languages☆34Oct 4, 2024Updated last year
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- bugspots for subversion☆15Jan 17, 2012Updated 14 years ago
- 2020 Collegeville Workshop on Scientific Software - Developer Productivity☆12Mar 1, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- This repository serves as a comprehensive knowledge hub, curating cutting-edge research papers and developments across 25+ specialized do…☆93Feb 28, 2026Updated last month
- Deadline countdowns for academic conferences relevant to the SSE chair.☆13Feb 10, 2026Updated last month
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Sep 3, 2021Updated 4 years ago
- A plugin for Atlassian Bitbucket (nee Stash) to allow easy, self-service continuous integration with Jenkins☆11Oct 9, 2019Updated 6 years ago
- Singularity Image Format (SIF) reference implementation.☆25Mar 19, 2026Updated last week
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- ☆11Apr 22, 2025Updated 11 months ago