namasikanam

raft-spin

A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University

PurpleBase

A DBMS for course Introduction to Database Management System, 2019 Autumn, Tsinghua University

BurningRIP

Course Project (Software Part) for the united experiment of Computer Organization & Theory of Computer Network, 2019 Autumn, Tsinghua University

OI-wiki

:star2: Wiki for OI / ICPC. （某大型游戏线上攻略，内含炫酷算术魔法）

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

documentation

Mastodon documentation

gumtree

A neat code differencing tool

Ithemal

Instruction THroughput Estimator using MAchine Learning (ITHEMAL)

jdime

syntactic merge tool for java

learn-action

learn-badge

manateelazycat.github.io

My personal blog

namasikanam.github.io

My personal academic homepage and blog

onnx

Open standard for machine learning interoperability

raft.github.io

website at https://raft.github.io

real-url

获取斗鱼&虎牙&哔哩哔哩&抖音&快手等 58 个直播平台的真实流媒体地址(直播源)和弹幕，直播源可在 PotPlayer、flv.js 等播放器中播放。

shields

Concise, consistent, and legible badges in SVG and raster format

testlib

Automatically exported from code.google.com/p/testlib

THUHole-Spider

For Practice.

thuservices

https://thu.services. A yellow page for Tsinghua/THU service/info/utils

thuthesis

LaTeX Thesis Template for Tsinghua University

tianshou

An elegant PyTorch deep reinforcement learning library.

treehollow-v3-encryption-doc

第三代树洞加密算法概述

WordStream

Interactive visual tool for the demonstration of topic evolution

write_a_c_compiler

Test suite to help you write your own C compiler

zju-icicles

浙江大学课程攻略共享计划

asmjit

Low-latency machine code generation

LLM-PLSE-paper

stoke

STOKE: A stochastic superoptimizer and program synthesizer

try-asmjit