Ctrl K
All software
1Filter
Mentions
Keywords
18
Program languages
23
Licenses
2
12
1-2 of 2
JPlag
JPlag is one of the most popular source code plagiarism detection systems worldwide.
- Automated Obfuscation Attack
- Collusion Detection
- Data analysis
- + 9
- Java
- ANTLR
- Vue
- + 16
9
544
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Mathematica
- + 7
16
379