确定性 SAT API、CNF 预处理工具与可复现研究标准。Deterministic SAT APIs, CNF preprocessing tools, and reproducible research standards.
仓库/Skill 库
719 个 · 工程化
面向 Butterfly Labs BF0005G Jalapeno SHA-256 ASIC 的工具包——包含协议层、统计分析、NIST SP 800-22 随机性测试与迭代哈希动力学;将退役矿机改造为硬件密码学研究平台,同时也可用作酸面种发酵加热器Toolkit for the Butterfly Labs BF0005G Jalapeno SHA-256 ASIC — protocol layer, statistical analysis, NIST SP 800-22 randomness tests, and iterated-hash dynamics. Repurposes a retired miner as a hardware cryptographic research platform, and sourdough starter warmer.
开源美元融资压力终端,使用公开的美联储、回购、财政部、持仓和市场数据Open-source US dollar funding-stress terminal using public Federal Reserve, repo, Treasury, positioning, and market data.
Mistral Studio 产品营销策略、品类叙事、定位与信息框架、从专业消费者到企业的分层、销售作战卡、品牌资产与市场分析。Mistral Studio Product Marketing Strategy, Category Narrative, Positioning & Messaging Framework, Prosumer-to-Enterprise Segmentation, Sales Battlecards, Brand Assets & Market Analysis.
MetaGráfica 是一种面向出版级二维矢量图形的描述语言——从纯文本编译为 EPS、SVG 或 PDF,适配科学图表与绘图,由单一自包含编译器完成。MetaGráfica is a descriptive language for publication-quality 2D vector graphics — scientific figures and plots compiled from plain text to EPS, SVG or PDF by a single self-contained compiler.
基于 IMDb 与 Netflix 互动数据(20K+ 匹配条目)的内容表现与受众分群分析。围绕五个研究问题,采用经校验的统计方法(bootstrap CI、k-means、卡方、Random Forest)作答——旨在展示面向 Disney DTC 的内容规划与分析能力。完整方法论与已知局限性均已记录。Content performance & audience segmentation analysis using IMDb and Netflix engagement data (20K+ matched titles). Five research questions answered with validated statistics (bootstrap CIs, k-means, chi-square, Random Forest) — built to demonstrate Content Planning & Analysis skills for Disney DTC. Full methodology + known limitations documented.
Researcher's Decision Pattern Matrix 仓库,一套用于辅助研究人员(硕士与博士)在选题、研究问题类型、研究设计与方法论方面做决策的文件集合。This is a repository an Researcher's Decision Pattern Matrix, a collection of files to assit researchers (MSc and PhD) in making decisions concerning topic selection, research question type, research design and methodology.
一个简洁的命令行工具,用于从 arXiv 将论文导入 Obsidian(以及 Notion)。A terse command-line tool for importing papers into Obsidian (and Notion) from arXiv
Tesina — 免费、开源的 APA 7 学术写作 macOS 应用。离线为英文或西语学生论文排版,无需注册。Tesina - free, open-source APA 7 academic writing app for macOS. Formats student papers in English or Spanish, offline, with no account.
dMIC60 线粒体–核 Crosstalk 论文中图表与 Table S1 的代码及源数据。Code and source data for figures and Table S1 from the dMIC60 mitochondrial–nuclear crosstalk manuscript.
关于 Riemann zeta 零点无条件低重数剖面的未经同行评审的研究,附精确证书,并清晰区分与 RH 相关的探索。不证明 RH。Unrefereed research on unconditional low-multiplicity profiles for Riemann zeta zeros, with exact certificates and clearly separated RH-adjacent explorations. Does not prove RH.
真正好用的本地文档 → Markdown 转换器 | Local-first AI-ready document converter: PDF/Word/PPT/Excel/EPUB/HTML → clean Markdown
LinkPlace、LinkPlace-C 与 LinkPlace-M 的可复现研究发布版本。Reproducible research release for LinkPlace, LinkPlace-C, and LinkPlace-M.
Same Targets, Different Computation 的代码与 artifact:后训练如何在模型各层之间划分计算Code and artifacts for Same Targets, Different Computation: how post-training divides work across model layers.
可复现的研究问题与预注册Reproducible research question,preregistration
用于 LoRa 与 LoRaWAN 设备实验的 Python 工具包,提供串口通信、自动化工具与可复现的研究实验。A Python toolkit for experimenting with LoRa and LoRaWAN devices, providing serial communication, automation tools, and reproducible research experiments.
复现研究结果所需的数据与代码Data and code required for reproducing the research results
基于 ESP32-P4(SeedSigner 生态)的无状态安全引导加载器分阶段开发,从文献综述起步,依次完成安全启动、SD 卡载荷加载、Specter bundle 验证以及反钓鱼加固。Phase-by-phase development of a stateless secure bootloader for ESP32-P4 (SeedSigner ecosystem) from literature review to secure boot, SD card payload loading, Specter bundle verification, and anti-phishing hardening
配套仓库:指数族模型主动感知文献综述Companion repository to a literature review on active sensing with exponential family models
NASH/IW 项目的版本化代码、校验器、清单文件与可复现研究基础设施Versioned code, validators, manifests and reproducible research infrastructure for NASH/IW.
本仓库用于存放系统综述 "Colour, Congruence, and Customisation: A Systematic Review of Purchase Intention in Online Fashion Retail" 的全部补充材料This repository is responsible for holding all the additional materials related to the systematic literature review titled: "Colour, Congruence, and Customisation: A Systematic Review of Purchase Intention in Online Fashion Retail"
一项系统动力学研究,探讨 fractional ownership 与 AI 赋能的点对点交易如何在向租房者和低收入家庭开放参与的同时提升可再生能源利用率。基于 25 项研究的系统综述,在 Stella 中构建因果回路模型,并针对新西兰市场监管进行对比设计方案评估a system dynamics study of how fractional ownership and AI-enabled peer-to-peer trading could raise renewable utilisation while opening participation to renters and low-income households. Systematic review of 25 studies, causal loop modelling in Stella, and a comparative design assessment against NZ market regulation.
为 https://pubmed.ncbi.nlm.nih.gov/ 创建第一阶段筛选表格的文献综述Create phase 1 screening spreadsheet literature review of https://pubmed.ncbi.nlm.nih.gov/
《从原始数据到完稿论文:构建可复现研究流水线》演讲幻灯片,用于 WHU - Otto Beisheim School of Management 博士迎新周。Slides for 'From Raw Data to Finished Paper: Building a Reproducible Research Pipeline', a Doctoral Orientation Week session at WHU - Otto Beisheim School of Management.
在 VS Code 中本地编辑 Overleaf 项目,支持双向同步。Edit Overleaf projects locally in VS Code with two-way synchronization.
Vengtoo 官方 Node.js/TypeScript SDK——带 Express 中间件的授权客户端。Official Node.js/TypeScript SDK for Vengtoo — authorization client with Express middleware
革新你的 2026 开发工作流:自动扫描并即时优化 100+ 技术栈。Revolutionize Your Dev Workflow 2026: Auto-Scan & Optimize 100+ Tech Stacks Instantly
课程 "046265 – Circuits and Architectures with Memristors" 的期末项目,研究问题为"基于忆阻器的存储器能否取代 DRAM 作为主存储器?"Final project in the course "046265 – Circuits and Architectures with Memristors". The research question is "Can Memristor-based Memory Replace DRAM as Main Memory?"
某私有组织的公开主页,包含多个 .git 大学项目,涵盖软件工程、全栈 Web 开发、数据科学与工程(AI/ML)、嵌入式系统、GIS 等先进计算技术,分别在 Uppsala、Canterbury、Auckland 完成,并含多次海外正式交换经历;多数项目涉及广泛协作,且均以 distinction 等级通过Public profile for a private org containing multiple .git university projects in software engineering, full-stack web dev, data science & eng (AI/ML), embedded systems, GIS. & other advanced computing tech completed at Uppsala, Canterbury, Auckland & formal exchanges abroad; many involving extensive collaboration, all averaging with distinction
夏季开放与可复现研究(SOAR²)训练营的项目官网。Program Website for the Summer Open And Reproducible Research (SOAR²) Camp
项目一:竞赛团队——面向异质性乳腺癌的逻辑门控药物递送,竞赛撰稿进行中。项目二:两种蛋白之间的通用 RNA Linker,融合蛋白质粒进入第二轮设计迭代。项目三:基于 RNA 核糖开关的金属检测,启动全细胞生物传感的文献综述。Project 1: Competition Team - Logic-gated Drug Delivery for Heterogeneous Breast Cancer Competition Writeups underway Project 2: Generic RNA Linker between two proteins Plasmids for fusion proteins are in second round of design iterations Project 3: Metal Detection using RNA Riboswitch Beginning Literature Review for whole cell bio-sensing
文献引用管理器,作为学士学位论文的一部分开发Bibliographic citation manager, that was created as a part of a Bachelor's thesis
面向自由职业学术写作/编辑服务的市场与客户接入站点,集成 Zod 校验的联系表单。Marketing and client-intake site for freelance academic writing/editing services, with a Zod-validated contact form.
KAKANHI-LaTeX 文档的 Cookiecutter 模板,附带 Makefile。Cookiecutter template for KAKANHI-LaTeX documents with a Makefile.