Runtime verification system for Java, using AspectJ for instrumentation.
☆51Jan 6, 2023Updated 3 years ago
Alternatives and similar repositories for javamop
Users that are interested in javamop are comparing it to the libraries listed below
Sorting:
- ☆30Jun 7, 2014Updated 11 years ago
- Examples of how to program with LLVM IR☆14Jun 21, 2013Updated 12 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Apr 1, 2024Updated last year
- Practical Program Repair via Bytecode Mutation☆65Jun 20, 2022Updated 3 years ago
- STARTS - A tool for STAtic Regression Test Selection☆32Jul 1, 2024Updated last year
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆30Oct 20, 2025Updated 5 months ago
- Formal verification of SecVisor, a secure hypervisor☆13Apr 23, 2013Updated 12 years ago
- Official repository for PraPR source code☆14May 11, 2021Updated 4 years ago
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- ☆11May 12, 2025Updated 10 months ago
- This repo contains the code for the paper "Object-cropping for SSL".☆18Feb 14, 2023Updated 3 years ago
- fuzzing for config☆12Sep 15, 2020Updated 5 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated last year
- Tensorflow AI model controls the snake game☆12Feb 24, 2018Updated 8 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Tensor-based Spectral LDA on Spark☆18Jun 5, 2018Updated 7 years ago
- Simple implementation of SHA1 in C☆12Apr 26, 2017Updated 8 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 2 years ago
- calc= is a small concatenative programming language for doing math in chats.☆13Jun 25, 2022Updated 3 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- A light-weight library for manual distributed system tracing☆11Feb 2, 2022Updated 4 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- A LOLCode compiler+VM in CoffeeScript☆25Jul 2, 2021Updated 4 years ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆197Dec 17, 2025Updated 3 months ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Dust Streams in Space☆15Mar 5, 2016Updated 10 years ago
- Program to process input from a vibration sensor and send discord messages when it thinks you've finished a load of laundry☆19Oct 29, 2019Updated 6 years ago
- ☆13Apr 10, 2025Updated 11 months ago
- A debugger for Michelson☆15Aug 7, 2023Updated 2 years ago
- Featured on https://www.forbes.com/sites/jasonevangelho/2018/11/27/choosing-linux-2-awesome-tools-to-find-your-perfect-linux-os/☆15Dec 8, 2024Updated last year
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- ☆11Oct 22, 2020Updated 5 years ago
- ☆13May 19, 2024Updated last year