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☆34Mar 27, 2026Updated 5 months ago
- Software testing optimization tool for Java☆42Mar 27, 2026Updated 5 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 4 years ago
- educational material: EE 382N☆10Oct 10, 2019Updated 6 years 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.
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 4 years ago
- Setup scripts for using TensorBlock Forge with Claude Code - access any AI model through Claude's interface☆28Sep 4, 2025Updated last year
- Multilingual Code Co-Evolution Using Large Language Models☆14Dec 8, 2024Updated last year
- Tests that check correctness of a single statement☆15Jun 3, 2026Updated 3 months ago
- Benchmarking extension for xunit.net☆13May 12, 2015Updated 11 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 4 years ago
- Example for using Spring Websocket and Angular with Stomp Messaging☆18Jul 16, 2018Updated 8 years ago
- LabVIEW NXG plugin for Rebar, a graphical dataflow language with ownership.☆18Aug 4, 2021Updated 5 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…☆30Sep 27, 2025Updated 11 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Una lista curada de proyectos de tecnología cívica en México.☆18Apr 12, 2023Updated 3 years ago
- ☆11Jul 11, 2023Updated 3 years ago
- Python bindings for data interoperability with Kokkos (View, DynRankView)☆26Dec 19, 2025Updated 8 months ago
- Supplementary files for SSFT 2015 summer school☆11Sep 5, 2019Updated 7 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.☆11Aug 29, 2026Updated last week
- Mutation analysis tool for Coq verification projects☆31Oct 13, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A lightweight tool to measure the full memory of a Python session☆19Mar 24, 2026Updated 5 months ago
- bugspots for subversion☆15Jan 17, 2012Updated 14 years ago
- Bash function library☆23Aug 27, 2024Updated 2 years ago
- 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☆29Jan 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 2020 Collegeville Workshop on Scientific Software - Developer Productivity☆12Mar 1, 2022Updated 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
- Deadline countdowns for academic conferences relevant to the SSE chair.☆13Jun 25, 2026Updated 2 months ago
- 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 5 years ago