Code plagiarism detection tool
☆325Apr 6, 2024Updated 2 years ago
Alternatives and similar repositories for copydetect
Users that are interested in copydetect are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The CompCert formally-verified C compiler☆11Apr 21, 2026Updated last week
- RISC-V SingleCycle/Pipeline CPU (lab of ZJU Computer System Series)☆16Jul 6, 2023Updated 2 years ago
- State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.☆1,871Updated this week
- 计算机系统——从小白学起☆35Mar 6, 2024Updated 2 years ago
- A MkDocs plugin that uses heti to improve typesetting☆13Sep 30, 2023Updated 2 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.
- A curated list of awesome Cangjie frameworks, libraries, software and resources.☆27Jan 13, 2026Updated 3 months ago
- Toggle render ansi-color☆14Jan 1, 2026Updated 3 months ago
- latex notes w/ neovim☆13Apr 18, 2025Updated last year
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated last month
- A fork of Sebastian Nowozin's and Koji Tsuda's gboost code☆17Mar 5, 2013Updated 13 years ago
- The Sherlock Plagiarism Detector☆140Dec 11, 2023Updated 2 years ago
- ☆17Mar 5, 2023Updated 3 years ago
- ☆10Jul 23, 2023Updated 2 years ago
- A collection of editorials for problems solved by me.☆23Sep 13, 2020Updated 5 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.
- ☆10Apr 24, 2024Updated 2 years ago
- Apple Silicon TSO Enabler for Linux☆18Nov 11, 2025Updated 5 months ago
- Scripts or utilities for radare2☆15Sep 10, 2016Updated 9 years ago
- A simple plagiarism detection tool for python code☆191Jun 5, 2023Updated 2 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆56Sep 14, 2025Updated 7 months ago
- QL-Relax☆13Aug 12, 2025Updated 8 months ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- OpenGridMap Transnet Inferred Power Grid Models☆21Apr 16, 2021Updated 5 years ago
- Repository for RT-Xen project☆21Oct 13, 2017Updated 8 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.
- O(n log n) algorithm finding solutions of Erdős-Ginzburg-Ziv theorem.☆14Aug 18, 2022Updated 3 years ago
- A Course Scheduling Helper Using Vue.js☆15Jan 24, 2019Updated 7 years ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆13Dec 30, 2024Updated last year
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated last year
- Implements Coron's simplification of Coppersmith's algorithm☆10May 28, 2017Updated 8 years ago
- A simple script to plot the Roofline model for given HW platforms and applications☆10Mar 17, 2026Updated last month
- A self-hosted remote communication system designed for math discussions.☆41Dec 21, 2020Updated 5 years ago
- An awesome language and its compiler.☆35Jun 12, 2022Updated 3 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Joulia.jl: A Large-Scale Spatial Power System Model for Julia☆35May 23, 2020Updated 5 years ago
- ☆16Jul 9, 2019Updated 6 years ago
- This repository includes relevant code associated with the book "Fundamentals of Solar Cells and Photovoltaic Systems Engineering"☆12May 15, 2025Updated 11 months ago
- Application-level firewalling using systemd socket action and eBPF filters☆18Oct 11, 2017Updated 8 years ago
- In-development, open-source textbook on modelling energy systems☆23Oct 13, 2025Updated 6 months ago
- PL conference deadline countdowns☆65Feb 23, 2026Updated 2 months ago
- MIT 6.824 2020☆10Mar 31, 2021Updated 5 years ago