namasikanam
Dream to find rigorousness and meaning in the messy world. Interested in applied formal methods, especially for cryptography.
Max Planck Institute for Security & PrivacyBochum, Germany
Pinned Repositories
minidecaf-tutorial
The MiniDecaf tutorial documentation.
gauv
A graph-based automated verification framework for perfect semi-honest security of multiparty computation protocols.
Arouq
A knowledge search engine, as course project of Fundamentals of Search Engine Technology, 2020 Spring, Tsinghua University
BurningRIP
Course Project (Software Part) for the united experiment of Computer Organization & Theory of Computer Network, 2019 Autumn, Tsinghua University
CertiCore
An automatically formally verified page allocator, as a course project of Operating Systems, 2020 Spring, Tsinghua University
OI-wiki
:star2: Wiki for OI / ICPC. （某大型游戏线上攻略，内含炫酷算术魔法）
PurpleBase
A DBMS for course Introduction to Database Management System, 2019 Autumn, Tsinghua University
raft-spin
A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
shareOI
我的OI课件
CMinor-Verifier
2022 年春季学期清华大学《软件分析与验证》课程实验平台
namasikanam's Repositories
namasikanam/raft-spin
A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
namasikanam/PurpleBase
A DBMS for course Introduction to Database Management System, 2019 Autumn, Tsinghua University
namasikanam/BurningRIP
Course Project (Software Part) for the united experiment of Computer Organization & Theory of Computer Network, 2019 Autumn, Tsinghua University
namasikanam/OI-wiki
:star2: Wiki for OI / ICPC. （某大型游戏线上攻略，内含炫酷算术魔法）
namasikanam/Solutions-of-Software-Foundations
Personal solutions of Software Foundations
namasikanam/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
namasikanam/documentation
Mastodon documentation
namasikanam/gumtree
A neat code differencing tool
namasikanam/Ithemal
Instruction THroughput Estimator using MAchine Learning (ITHEMAL)
namasikanam/jdime
syntactic merge tool for java
namasikanam/learn-action
namasikanam/learn-badge
namasikanam/manateelazycat.github.io
My personal blog
namasikanam/namasikanam.github.io
My personal academic homepage and blog
namasikanam/onnx
Open standard for machine learning interoperability
namasikanam/raft.github.io
website at https://raft.github.io
namasikanam/real-url
获取斗鱼&虎牙&哔哩哔哩&抖音&快手等 58 个直播平台的真实流媒体地址(直播源)和弹幕，直播源可在 PotPlayer、flv.js 等播放器中播放。
namasikanam/shields
Concise, consistent, and legible badges in SVG and raster format
namasikanam/THUHole-Spider
For Practice.
namasikanam/thuservices
https://thu.services. A yellow page for Tsinghua/THU service/info/utils
namasikanam/thuthesis
LaTeX Thesis Template for Tsinghua University
namasikanam/tianshou
An elegant PyTorch deep reinforcement learning library.
namasikanam/treehollow-v3-encryption-doc
第三代树洞加密算法概述
namasikanam/WordStream
Interactive visual tool for the demonstration of topic evolution
namasikanam/write_a_c_compiler
Test suite to help you write your own C compiler
namasikanam/asmjit
Low-latency machine code generation
namasikanam/jasmin
Language for high-assurance and high-speed cryptography
namasikanam/LLM-PLSE-paper
namasikanam/stoke
STOKE: A stochastic superoptimizer and program synthesizer
namasikanam/try-asmjit