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☆33Mar 27, 2026Updated 4 months ago
- Software testing optimization tool for Java☆40Mar 27, 2026Updated 4 months ago
- VMVM: Unit Test Virtualization for Java☆24Jun 20, 2022Updated 4 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Setup scripts for using TensorBlock Forge with Claude Code - access any AI model through Claude's interface☆28Sep 4, 2025Updated 10 months ago
- Multilingual Code Co-Evolution Using Large Language Models☆14Dec 8, 2024Updated last year
- Tests that check correctness of a single statement☆15Jun 3, 2026Updated last month
- Benchmarking extension for xunit.net☆13May 12, 2015Updated 11 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- LabVIEW NXG plugin for Rebar, a graphical dataflow language with ownership.☆18Aug 4, 2021Updated 4 years ago
- Example for using Spring Websocket and Angular with Stomp Messaging☆18Jul 16, 2018Updated 8 years ago
- Awesome A2A Agents is a curated list of tools, frameworks, and projects built on the Agent-to-Agent (A2A) communication protocol. It aims…☆26Sep 27, 2025Updated 10 months ago
- Una lista curada de proyectos de tecnología cívica en México.☆18Apr 12, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Jul 11, 2023Updated 3 years ago
- Python bindings for data interoperability with Kokkos (View, DynRankView)☆26Dec 19, 2025Updated 7 months ago
- Supplementary files for SSFT 2015 summer school☆11Sep 5, 2019Updated 6 years ago
- ☆11Jul 20, 2021Updated 5 years ago
- Tool for effective and efficient detection of API misuses.☆11May 20, 2022Updated 4 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 3 years ago
- Hi, I'm Vanessa (vsoch, the Vanessasaurus) and this is where I write things.☆11Jul 14, 2026Updated 2 weeks ago
- Mutation analysis tool for Coq verification projects☆31Oct 13, 2020Updated 5 years ago
- A lightweight tool to measure the full memory of a Python session☆19Mar 24, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- bugspots for subversion☆15Jan 17, 2012Updated 14 years ago
- Bash function library☆23Aug 27, 2024Updated last year
- because playing with bcctools on macOS is a PITA☆13Jan 4, 2021Updated 5 years ago
- CoditT5: Pretraining for Source Code and Natural Language Editing☆29Jan 16, 2025Updated last year
- Compiler Testing using Template Java Programs☆27Jan 15, 2024Updated 2 years ago
- Mixed graph Laplacian upscaling and solvers☆13Jan 7, 2025Updated last year
- 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
- 2020 Collegeville Workshop on Scientific Software - Developer Productivity☆12Mar 1, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A plugin for Atlassian Bitbucket (nee Stash) to allow easy, self-service continuous integration with Jenkins☆11Oct 9, 2019Updated 6 years ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆13Jun 25, 2026Updated last month
- Cray System Management☆11Updated this week
- Learning to Update Natural Language Comments Based on Code Changes: Artifact☆33Oct 24, 2020Updated 5 years ago
- This crate validates SPDX license expressions.☆22Jul 9, 2024Updated 2 years ago
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Sep 3, 2021Updated 4 years ago
- Topology Aware Task Mapping Tool☆14Jul 27, 2016Updated 10 years ago