liyu0x

liyu0x's Stars

• boomerangas/ARX_PAPER

  The repository is related to the paper "Revisiting Boomerang Attacks on Lightweight ARX and AND-RX Ciphers with Applications to Katan, Simon and Cham"

  Language:Python1

• 2noise/ChatTTS

  A generative speech model for daily dialogue.

  Language:Python28.2k3.1k

• arminbiere/gimsatul

  Language:C292

• JDMCreator/LaTeXTableEditor

  readme

  Language:JavaScript13814

• massgravel/Microsoft-Activation-Scripts

  A Windows and Office activator using HWID / Ohook / KMS38 / Online KMS activation methods, with a focus on open-source code and fewer antivirus detections.

  Language:Batchfile87.8k8.6k

• XITRIX/Moonlight-Switch

  Moonlight port for Nintendo Switch

  Language:C++80047

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT983227

• Laakeri/sharpsat-td

  Entry to model counting competition 2021.

  Language:C++187

• apache/incubator-seata

  :fire: Seata is an easy-to-use, high-performance, open source distributed transaction solution.

  Language:Java25.1k8.7k

• nishiwen1214/ChatReviewer

  ChatReviewer: 使用ChatGPT分析论文优缺点，提出改进建议

  Language:Python1.2k118

• Project-DARC/DARC

  Decentralized Autonomous Regulated Company (DARC), a company virtual machine that runs on any EVM-compatible blockchain, with on-chain law system, multi-level tokens and dividends mechanism.

  Language:TypeScript9.4k7.2k

• muhos/ParaFROST

  A Parallel SAT Solver with GPU Accelerated Inprocessing

  Language:C++764

• HikeGame/2moons-2.0

  Version 2.0 of 2moons compatible PHP 7.2

  Language:PHP4838

• binary-husky/gpt_academic

  为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。

  Language:Python62.5k7.8k

• iTXTech/mirai-console-loader

  模块化、轻量级且支持完全自定义的 mirai 加载器。

  Language:Java73263

• conp-solutions/mergesat

  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

  Language:C++393

• somebasj/ParallelsDesktopCrack

  Parallels Desktop for mac Crack

  Language:Shell1.4k

• jesenteh/cryptosmt-boomerang

  New module for the CryptoSMT tool (https://github.com/kste/cryptosmt) to support automatic boomerang search.

  Language:Python22

• moonlight-stream/moonlight-docs

  Moonlight Documentation

  1.2k72

• deeptechlabs/encryption

  Encryption Algorithm Combined

  Language:C1810

• ranea/CASCADA

  A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.

  Language:Python279

• kste/cryptosmt

  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.

  Language:Python8736

• jianyu-niu/blockchain_conference_paper

  The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.

  1.1k227

• 0voice/computer_expert_paper

  1000+份计算机paper，卡耐基梅隆大学，哈佛，斯坦福，芝加哥大学，MIT，facebook，google，微软，Amazon，twitter等大牛一作，持续更新中

  1.3k284

• cofess/hexo-theme-pure

  Hexo theme pure. It's a pure theme for Hexo.

  Language:CSS1.1k288

• chefyuan/algorithm-base

  一位酷爱做饭的程序员，立志用动画将算法说的通俗易懂。我的面试网站 www.chengxuchu.com

  10.6k1.6k

• coolsnowwolf/lede

  Lean's LEDE source

  Language:C29.3k19.5k

• labuladong/fucking-algorithm

  刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.

  Language:Markdown124k23.1k

• riusksk/secbook

  信息安全从业者书单推荐

  3.1k463

• huangrt01/CS-Notes

  我的自学笔记，终身更新，当前专注System基础、MLSys。

  Language:Python3.7k484