A similarity measurer on two programming assignments on Online Judge.
☆10Jan 6, 2023Updated 3 years ago
Alternatives and similar repositories for codesim
Users that are interested in codesim are comparing it to the libraries listed below
Sorting:
- A demo 1-to-1 implementation with high availability in Golang for Raft, based on 6.824's raft labs. (NJU dissys course's lab code)☆13Dec 30, 2021Updated 4 years ago
- A command-line tool to generate Online-Judge problem.☆12Apr 14, 2023Updated 2 years ago
- AexPy /eikspai/ is Api EXplorer in PYthon for detecting API breaking changes in Python packages.☆26Jun 10, 2024Updated last year
- A tool to transfer movie into comics by keyframe extracting, voice recognition and style transfer techniques.☆23Jan 2, 2023Updated 3 years ago
- A toolset for computer graphics and imaging processing.☆26Feb 6, 2023Updated 3 years ago
- Files used for the evaluation of uiCA☆18Dec 14, 2022Updated 3 years ago
- Razor component for Markdown rendering.☆30Jan 10, 2023Updated 3 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- 获取 Bilibili 大航海列表☆11Apr 25, 2024Updated last year
- Source code graph RAG (GraphRAG) for C/C++ development based on clangd☆35Updated this week
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- 🍔 A clean and minimal food menu template.☆17Apr 4, 2024Updated last year
- An open source extensible static & dynamic blog system. (an alternative tool with same features at StardustDL/paperead)☆67May 12, 2023Updated 2 years ago
- Wire Note Project 🎼 ♪ ♫ ♩ ♬ ♭ ♮ ♯🎼 ♪ ♫ ♩ ♬ ♭ ♮ ♯☆11Feb 19, 2024Updated 2 years ago
- rdma新手优化教程，基于verbs和rdmacm，用于高性能计算与分离式内存系统☆15Sep 30, 2024Updated last year
- A desktop application that provides visualization of basic algorithms and data structures. Implemented with JavaFX.☆13Sep 23, 2022Updated 3 years ago
- Fuzzing Multiparty Protocols like Pub/Sub Protocols☆19Sep 3, 2021Updated 4 years ago
- The MOSAIC Operating Systems Model and Checker☆206May 8, 2023Updated 2 years ago
- This is the source codes of my programming assignment of OS2019 (Operation System) courses at NJU.☆22Jun 30, 2019Updated 6 years ago
- https://bbuf.github.io/gpu-glossary-zh/☆26Nov 7, 2025Updated 4 months ago
- ☆21Aug 7, 2021Updated 4 years ago
- Covid-19疫情数据分析☆13Jul 2, 2021Updated 4 years ago
- Moss Results scraper with powerful insights & analysis 💡☆32Mar 11, 2020Updated 6 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- High performance RMSNorm Implement by using SM Core Storage(Registers and Shared Memory)☆29Jan 22, 2026Updated 2 months ago
- Expert Specialization MoE Solution based on CUTLASS☆27Jan 19, 2026Updated 2 months ago
- 2D Game Engine For Universal Windows Platform☆36Mar 21, 2021Updated 5 years ago
- Accelerated execution for fast Windows fuzzing☆25Jan 9, 2025Updated last year
- SGLang is a fast serving framework for large language models and vision language models.☆20Updated this week
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated 2 months ago
- 基于Sdlpal的修改版本，宗旨是修正bug和对游戏进行简单扩展。Sdlpal地址：https://github.com/CecilHarvey/sdlpal☆15Aug 16, 2015Updated 10 years ago
- The heart & core of Privado code scanner☆32Nov 21, 2024Updated last year
- A Binary Ninja plugin that automatically resolves type information for EFI protocol usage.☆37Jul 25, 2025Updated 7 months ago
- Mathematics projects in p5js, Mathbox, MathCell and more☆28Updated this week
- A website for learners of 《Introduction to Algorithms》☆20Jan 31, 2024Updated 2 years ago
- this application shows EAC sdk's memory leak.☆10Nov 30, 2021Updated 4 years ago
- ☆19Aug 1, 2024Updated last year
- WebRTC Research☆14Jul 15, 2020Updated 5 years ago