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
Alternatives and similar repositories for raft-impl
Users that are interested in raft-impl are comparing it to the libraries listed below
Sorting:
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 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
- 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
- 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
- GIAnT, the Generic Implementation ANalysis Toolkit☆12Jul 4, 2018Updated 7 years ago
- Trustzone Exploit that allows running code in secure mode on Surface RT (Tegra 3) with the help of Yahallo (by imbushuo)☆11Mar 30, 2023Updated 2 years ago
- Mechanized baselines for various type system features☆18Updated this week
- Rdio Scanner is an open source software that ingest and distribute audio files generated by various software-defined radio recorders. Its…☆33Apr 6, 2022Updated 3 years ago
- ☆10May 9, 2024Updated last year
- A lambda calculus parser, evaluator and repl☆11Oct 30, 2021Updated 4 years ago
- Virtual CAC using libcacard, virtualsmartcard's vpcd and softhsm2 to provide PCSC accessible virtual smart card.☆12Feb 19, 2022Updated 4 years ago
- 获取 Bilibili 大航海列表☆11Apr 25, 2024Updated last year
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- Microcorruption CTF☆12Jan 17, 2016Updated 10 years ago
- latex notes w/ neovim☆12Apr 18, 2025Updated 10 months ago
- LaTeX support for Creative Commons icons☆12Feb 11, 2026Updated 2 weeks ago
- 中央认证服务 / Central Authentication Service☆12Mar 17, 2024Updated last year
- ☆11Jul 3, 2021Updated 4 years ago
- Small PDF manipulation scripts☆15Apr 16, 2025Updated 10 months ago
- this is a repository for MIPS tools.You can find some statically linked tools like GDB\TCPDUMP\GDBSERVER, which can used for IOT security…☆10Nov 20, 2020Updated 5 years ago
- ☆12Apr 20, 2022Updated 3 years ago
- 收集LUG@NJU群的精华消息，好玩就行。☆12Jun 22, 2022Updated 3 years ago
- UIUC CS 199 EMP (paired with CS 125) Slide Website for Spring 2021 and Fall 2020☆10Oct 14, 2022Updated 3 years ago
- Java Card applet with REFRESH command support for SIM Toolkit application☆17Aug 2, 2020Updated 5 years ago
- [D^3CTF 2022] pwn-d3guard attachment and official writeup (English & Chinese)☆13Mar 9, 2022Updated 3 years ago
- LLM for Index Recommendation☆17Jan 26, 2026Updated last month
- JavaScript Runtime built with Mozilla's SpiderMonkey Engine☆14Nov 4, 2024Updated last year
- First library produced from the Multiverse OS singularity experimental project, rewrite of the standard library exec to launch fileless e…☆11Apr 20, 2020Updated 5 years ago
- A standalone python script leveraging ntdll for UEFI variable enumeration. This uses elements from the "chipsec" toolkit for formatting w…☆10Jul 25, 2023Updated 2 years ago
- 南京大学本科毕业论文模板☆13Jun 1, 2016Updated 9 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
- 💻 Guess code like Wordle with AST nodes as letters 🌳☆49Oct 20, 2025Updated 4 months ago
- Artifacts for "ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms" (USENIX Security '24).☆60Jun 19, 2025Updated 8 months ago
- Add additional customized shortcut key population for vite4. If the current version of vite does not support shortcut keys, add the short…☆10Mar 16, 2024Updated last year