逻辑 逻辑学
☆78Oct 8, 2019Updated 6 years ago
Alternatives and similar repositories for Logic
Users that are interested in Logic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 美洲历史☆39Oct 12, 2019Updated 6 years ago
- 军事、军事科学☆56Oct 12, 2019Updated 6 years ago
- 欧洲历史☆55Oct 12, 2019Updated 6 years ago
- 传记 自传☆46Oct 20, 2019Updated 6 years ago
- 社会科学☆199Oct 12, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 历史总论☆238Oct 8, 2019Updated 6 years ago
- 经济 管理 金融 投资☆427Oct 7, 2019Updated 6 years ago
- 中国历史☆649Oct 20, 2019Updated 6 years ago
- 政治☆2,345Jan 30, 2023Updated 3 years ago
- [TMLR 2025] Unifi3D: A Study on 3D Representations for Generation and Reconstruction in a Common Framework☆43Dec 17, 2025Updated 6 months ago
- ☆40Sep 22, 2025Updated 8 months ago
- [TMM 2023] Self-Supervised Intra-Modal and Cross-Modal Contrastive Learning for Point Cloud Understanding☆11Jul 9, 2023Updated 2 years ago
- ☆10Jun 20, 2024Updated last year
- clash meta节点订阅分享☆28Jun 10, 2026Updated last week
- 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.
- ML Prediction for Rf values☆14Sep 8, 2022Updated 3 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- ☆23Jun 27, 2024Updated last year
- ☆23Dec 25, 2017Updated 8 years ago
- Open-source ELM329 OBD adapter☆10Jun 16, 2016Updated 10 years ago
- ☆33Jul 7, 2024Updated last year
- Electrochemical data analysis package☆17Jun 16, 2021Updated 5 years ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated 2 months ago
- Ruby Gem for Interacting with BMW Connected Drive APIs☆10May 16, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- BUSMASTER Installer Executables☆17Oct 30, 2017Updated 8 years ago
- Solving Competition Geometry Problems in Lean☆38Aug 26, 2025Updated 9 months ago
- This is a modified version of ESP32 IDF's bluetooth gatt_server project to control LED from a iOS swift App☆16Mar 16, 2017Updated 9 years ago
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 7 years ago
- a21 — Arduino bits☆11Apr 12, 2021Updated 5 years ago
- ☆22Dec 3, 2024Updated last year
- A tool for BaiduPCS-Go to find PCS ID. Archived as its historical mission has ended.☆10Sep 19, 2018Updated 7 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Jun 10, 2026Updated last week
- Linux kernel for SHIELD☆23Mar 12, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- JavaScript knot drawing and identification tool☆11Jul 20, 2016Updated 9 years ago
- 几何表达式仓库☆11Nov 4, 2025Updated 7 months ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 5 years ago
- Simple wgpu based SLAM map viewer.☆10May 5, 2020Updated 6 years ago
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated 2 years ago
- Talking between two Tiva C Series microcontrollers via CAN bus☆14Jan 20, 2015Updated 11 years ago
- ☆15Jun 7, 2022Updated 4 years ago