Runtime verification system for Java, using AspectJ for instrumentation.
☆11Oct 27, 2026Updated last week
Alternatives and similar repositories for tracemop
Users that are interested in tracemop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unit Test for LLM Agent Skills☆14Apr 11, 2026Updated 6 months ago
- ☆59May 4, 2026Updated 6 months ago
- ProbFuzz: A Framework for Testing Probabilistic Programming Systems☆10Oct 22, 2018Updated 8 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆54Jan 6, 2023Updated 3 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 4 years ago
- pytest-inline is a pytest plugin for writing inline tests.☆19Dec 11, 2025Updated 10 months ago
- The first counterfactual PL semantics dataset for evaluating rule-conditioned reasoning in LLMs☆18Oct 7, 2026Updated last month
- FANC is a tool for the proof transfer of incomplete verification☆13Aug 20, 2026Updated 2 months ago
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆13Sep 4, 2023Updated 3 years ago
- This node-based editor allows using the open source library simple-data-analysis.js without code.☆14Sep 10, 2024Updated 2 years ago
- Tests that check correctness of a single statement☆15Jun 3, 2026Updated 5 months ago
- Multilingual Code Co-Evolution Using Large Language Models☆14Dec 8, 2024Updated last year
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆15Oct 16, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Jul 9, 2020Updated 6 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 4 years ago
- calc= is a small concatenative programming language for doing math in chats.☆13Jun 25, 2022Updated 4 years ago
- NLRB data scraper by LexPredict☆12Dec 8, 2022Updated 3 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- OmniCode: A Diverse Software Engineering Benchmark for Evaluating Large Language Models☆30Apr 17, 2026Updated 6 months ago
- ☆11May 12, 2025Updated last year
- Automatic pipeline for creating and visualizing text networks☆10Jan 24, 2019Updated 7 years ago
- my dotfiles and scripts!☆12Sep 16, 2024Updated 2 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.
- This is an example of a project with continuous fuzzing integration☆11Jul 26, 2020Updated 6 years ago
- Per-monitor wallpapers colour-matched to one image — native Windows WPF app plus the original Linux feh/pywal script☆11Aug 12, 2026Updated 2 months ago
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆21Mar 18, 2026Updated 7 months ago
- Tensorflow AI model controls the snake game☆12Feb 24, 2018Updated 8 years ago
- ☆11Jan 19, 2025Updated last year
- Dataset and code corresponding to Associating Natural Language Comment and Source Code Entities (AAAI 2020)☆20Oct 24, 2020Updated 6 years ago
- Browser Fuzzing with Machine Learning☆22Mar 6, 2019Updated 7 years ago
- Agentic Framework for Synthesizing CodeQL Queries☆28Aug 28, 2026Updated 2 months ago
- Python bindings for data interoperability with Kokkos (View, DynRankView)☆26Dec 19, 2025Updated 10 months 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.
- Automated Generation of Reproducible Test Cases for Android Apps☆12May 14, 2019Updated 7 years ago
- A Python based programming system for heterogeneous computing☆25Apr 29, 2025Updated last year
- ☆14Jun 1, 2015Updated 11 years ago
- ☆25Feb 16, 2026Updated 8 months ago
- Mutation analysis tool for Coq verification projects☆31Oct 13, 2020Updated 6 years ago
- A fuzzing environment for RL, based on Gym and AFL.☆13Dec 19, 2020Updated 5 years ago
- Sentence specificity prediction☆27Jan 31, 2019Updated 7 years ago