中国科学技术大学第十一届信息安全大赛的官方与非官方题解

Measuring cmov vs branch-mov performance

⭐WARP IP 优选工具

A repository of tools for verifying constant-timeness

ACPI fix for D920S10 Windows/Linux boot

NixOS on Loongson-2F

Learn LLVM 17, published by Packt

A game made by the Celeste developers in a week(ish, closer to 2)

PEACE FOR ALL グラフィックTシャツ（半袖・レギュラーフィット）アカマイ

Do integer arithmetic with fsub.

Celeste Classic ported to the Game Boy Advance

Real-time audio visualizations (spectrum, spectrogram, etc.)

PICO-8 Reimplementation in Love2D. Chat: https://discord.gg/jGEMUse6RM

Compare the performance of different Lua implementations

NixOS on Allwinner D1 RISC-V

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Nailgun attack on ARM devices.

A fast & densely stored hashmap and hashset based on robin-hood backward shift deletion

Abseil Common Libraries (C++)

Hackergame 2022 的官方与非官方题解

List of bugs found in distributed protocols

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

⟁ Tendermint Core (BFT Consensus) in Go

《全局光照技术：从离线到实时渲染》

Open MPI main development repository

MPI+OpenMP implementation of the first phase of Louvain method for Graph Community Detection

MPI+OpenMP implementation of Louvain method for Graph Community Detection, with a number of parallel heuristics/approximate computing techniques

Working draft of the proposed RISC-V Bitmanipulation extension

Algorithm Design (Kleinberg Tardos 2005) - Solutions