Stars
A new markup-based typesetting system that is powerful and easy to learn.
本项目用于将雀魂的牌局发到日本麻将助手mahjong-helper，基于mitmproxy的中间人攻击方式，不支持牌谱分析。
Improved Lecture Notes in Computer Science (LNCS) template
Known User Implementation (v.3.x) for Python (Django etc.)
Known User Implementation (v.3.x) for Javascript (Node.js etc.)
KU Leuven R/Markdown, plain Markdown and LaTeX templates
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…
Repository for the SCALE-MAMBA MPC system
🚀 A super concise theme for Hugo https://hugo-theme-even.netlify.app
Conversational RPA SDK for Chatbot Makers. Join our Discord: https://discord.gg/7q8NBZbQzt
Charm: A Framework for Rapidly Prototyping Cryptosystems
⚡ A curated list of awesome Lightning Network projects for developers and crypto enthusiasts
nirenzang / rfcs
Forked from nervosnetwork/rfcsThis repository contains proposals, standards and documentations related to Nervos Network.
Core Lightning — Lightning Network implementation focusing on spec compliance and performance
A probabilistic rewriting model of Randao-based RNG schemes
This repository contains proposals, standards and documentations related to Nervos Network.