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
- 获取 Bilibili 大航海列表☆11Apr 25, 2024Updated last year
- A command-line tool to generate Online-Judge problem.☆12Apr 14, 2023Updated 2 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 clean and minimal food menu template.☆17Apr 4, 2024Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 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
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- A toolset for computer graphics and imaging processing.☆26Feb 6, 2023Updated 3 years ago
- Github Actions: 完成每日健康填报打卡，So easy☆66Mar 24, 2022Updated 3 years ago
- The MOSAIC Operating Systems Model and Checker☆207May 8, 2023Updated 2 years ago
- An open source extensible static & dynamic blog system. (an alternative tool with same features at StardustDL/paperead)☆67May 12, 2023Updated 2 years ago
- Razor component for Markdown rendering.☆30Jan 10, 2023Updated 3 years ago
- 哈尔滨工业大学/南京大学编译原理课程实验Web版IR虚拟机（含CLI版）💎The remastered Web IR Virtual Machine for HIT/NJU Compilation Principle Labs (with CLI version)☆44May 13, 2024Updated last year
- pepex hack☆10Oct 22, 2021Updated 4 years ago
- ☆13Nov 29, 2025Updated 3 months ago
- A lambda calculus parser, evaluator and repl☆11Oct 30, 2021Updated 4 years ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- This is DreamOS C Version by lizhirui since 2021-05-18☆10Aug 23, 2021Updated 4 years ago
- Rust library to interface with the RISC-V Supervisor Binary Interface☆14Apr 17, 2025Updated 10 months ago
- ☆10May 9, 2024Updated last year
- 基于艾宾浩斯记忆曲线实现的背单词WinForm应用☆12Mar 24, 2024Updated last year
- rdma新手优化教程，基于verbs和rdmacm，用于高性能计算与分离式内存系统☆15Sep 30, 2024Updated last year
- Mechanized baselines for various type system features☆18Feb 20, 2026Updated last week
- Source code graph RAG (GraphRAG) for C/C++ development based on clangd☆28Feb 21, 2026Updated last week
- this application shows EAC sdk's memory leak.☆10Nov 30, 2021Updated 4 years ago
- Files used for the evaluation of uiCA☆18Dec 14, 2022Updated 3 years ago
- 🖥️ a toy riscv emulator☆14Oct 20, 2021Updated 4 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆14Apr 4, 2023Updated 2 years ago
- High performance RMSNorm Implement by using SM Core Storage(Registers and Shared Memory)☆27Jan 22, 2026Updated last month
- Shellcode execution for memflow☆13Apr 11, 2022Updated 3 years ago
- latex notes w/ neovim☆12Apr 18, 2025Updated 10 months ago
- Expert Specialization MoE Solution based on CUTLASS☆27Jan 19, 2026Updated last month
- A prototype implementation of Multiple Inheritance and Traits in Java.☆12Sep 16, 2011Updated 14 years ago
- JavaScript Runtime built with Mozilla's SpiderMonkey Engine☆14Nov 4, 2024Updated last year
- Wire Note Project 🎼 ♪ ♫ ♩ ♬ ♭ ♮ ♯🎼 ♪ ♫ ♩ ♬ ♭ ♮ ♯☆11Feb 19, 2024Updated 2 years ago
- Shepherd Model Gateway☆59Updated this week