PRIEWIENV's Stars
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
Avenshy/mahjong-helper-majsoul-mitmproxy
本项目用于将雀魂的牌局发到日本麻将助手mahjong-helper,基于mitmproxy的中间人攻击方式,不支持牌谱分析。
747929791/MajsoulAI
以JianYangAI作后端,进行在线雀魂对局
EndlessCheng/mahjong-helper
日本麻将助手:牌效+防守+记牌(支持雀魂、天凤)
latextemplates/LNCS
Improved Lecture Notes in Computer Science (LNCS) template
queueit/KnownUser.V3.Python
Known User Implementation (v.3.x) for Python (Django etc.)
queueit/KnownUser.V3.Javascript
Known User Implementation (v.3.x) for Javascript (Node.js etc.)
exporl/kuleuven-templates
KU Leuven R/Markdown, plain Markdown and LaTeX templates
timqian/chinese-independent-blogs
中文独立博客列表
microsoft/ivy
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 techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
KULeuven-COSIC/SCALE-MAMBA
Repository for the SCALE-MAMBA MPC system
olOwOlo/hugo-theme-even
🚀 A super concise theme for Hugo https://hugo-theme-even.netlify.app
evil-huawei/evil-huawei
Evil Huawei - 华为作过的恶
wechaty/wechaty
Conversational RPA SDK for Chatbot Makers. Join our Discord: https://discord.gg/7q8NBZbQzt
233boy/v2ray
最好用的 V2Ray 一键安装脚本 & 管理脚本
nervosnetwork/ckb-sdk-ruby
Ruby SDK for CKB
airalab/hs-web3
Web3 API for Haskell
cfromknecht/tpec
2P-ECDSA: Two-Party ECDSA MultiSignatures
JHUISI/charm
Charm: A Framework for Rapidly Prototyping Cryptosystems
bcongdon/awesome-lightning-network
⚡ A curated list of awesome Lightning Network projects for developers and crypto enthusiasts
nirenzang/rfcs
This repository contains proposals, standards and documentations related to Nervos Network.
handshake-org/goosig
Anonymous RSA signatures
google/private-join-and-compute
ElementsProject/lightning
Core Lightning — Lightning Network implementation focusing on spec compliance and performance
lightningnetwork/lnd
Lightning Network Daemon ⚡️
GaloisInc/cryptol
Cryptol: The Language of Cryptography
runtimeverification/rdao-smc
A probabilistic rewriting model of Randao-based RNG schemes
nervosnetwork/rfcs
This repository contains proposals, standards and documentations related to Nervos Network.
CardsAgainstCryptography/CAC
A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.
nervosnetwork/ckb
The Nervos CKB is a public permissionless blockchain, and the layer 1 of Nervos network.