Collection for Zotero：用 LLM根据「标题 + 摘要」为条目智能推荐 Zotero 分类，并提供可审核的确认对话框。
☆28Aug 25, 2026Updated 2 months ago
Alternatives and similar repositories for zotero-ai-collection
Users that are interested in zotero-ai-collection are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clickable cross-reference links between PDF annotations in Zotero☆18Sep 9, 2026Updated last month
- ☆12Oct 23, 2026Updated last week
- AI赋能的文献追踪工具，第一时间获取你感兴趣的最新文献。☆25Sep 21, 2026Updated last month
- ☆13Aug 17, 2026Updated 2 months ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆16Jul 1, 2025Updated last year
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 4 months ago
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated 3 weeks ago
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- ai-text-sanitizer is a tiny (<6 kB) zero-dependency ES module for cleaning and normalising raw text generated by large language models be…☆13Apr 9, 2026Updated 6 months ago
- A plugin for summarizing and indexing annotations in Zotero☆31May 1, 2026Updated 5 months ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Oct 22, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An open-source Simulation Trace Format specification☆17Jun 4, 2026Updated 4 months ago
- A Zotero plugin that hunts down missing DOIs and abstracts for your references☆41Updated this week
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown …☆15Jan 17, 2025Updated last year
- 好看又好用的AI工具栏！A beautiful and handy AI toolbar plugin for Zotero.☆17Oct 9, 2026Updated 2 weeks ago
- Automatically assign tags to papers with the help of LLM☆33Sep 11, 2026Updated last month
- ☆18Jul 12, 2024Updated 2 years ago
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated 2 months ago
- Synthesize Verilog to Minecraft redstone☆23Nov 9, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- CIRCT and Yosys interoperability, demonstrated with CHISEL☆18Feb 3, 2026Updated 8 months ago
- Zotero plugin: watch a folder and auto-import PDFs with metadata, dedup, smart rules, and optional two-way collection sync with safe dele…☆52Updated this week
- Scripts for Digital Design flow control.☆18Oct 30, 2025Updated 11 months ago
- [NeurIPS 2024 Spotlight] Scalable and Effective Arithmetic Tree Generation for Adder and Multiplier Designs☆16Feb 22, 2026Updated 8 months ago
- 🔭 interactively explore `onnx` networks in your CLI.☆27Jun 7, 2024Updated 2 years ago
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆22Jan 17, 2026Updated 9 months ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- This is a plugin for obsidian. The Goal of this plugin is making Obsidian canvas easier to edit. (inspired by heptabase)☆14Sep 29, 2023Updated 3 years ago
- TAIDL: Tensor Accelerator ISA Definition Language☆25Oct 20, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆19Mar 21, 2026Updated 7 months ago
- Give your AI assistant superpowers for Zotero plugin development. 28 tools for screenshots, DOM inspection, JavaScript execution, build i…☆40Sep 20, 2026Updated last month
- download anna's archive listings from the command line☆20Nov 24, 2024Updated last year
- AutoTag-YOLOv8 is an object detection project that uses the YOLOv8 model and leverages the power of SAM and DINGO models for automatic la…☆13May 3, 2023Updated 3 years ago
- ☆12Sep 19, 2026Updated last month
- Divide remote sensing images and their labels into data sets of specified size.☆12Dec 12, 2021Updated 4 years ago
- Very tiny embeddable Tcl-like language in safe Rust☆12Feb 13, 2025Updated last year