逻辑 逻辑学
☆74Oct 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:
- 军事、军事科学☆53Oct 12, 2019Updated 6 years ago
- 欧洲历史☆51Oct 12, 2019Updated 6 years ago
- 传记 自传☆43Oct 20, 2019Updated 6 years ago
- 社会科学☆189Oct 12, 2019Updated 6 years ago
- 历史总论☆224Oct 8, 2019Updated 6 years ago
- 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.
- 哲学☆403Oct 18, 2019Updated 6 years ago
- 经济 管理 金融 投资☆403Oct 7, 2019Updated 6 years ago
- 心理学☆356Oct 12, 2019Updated 6 years ago
- 中国历史☆603Oct 20, 2019Updated 6 years ago
- 政治☆2,283Jan 30, 2023Updated 3 years ago
- 一个帮助你收集、整理和管理笔记片段的 Obsidian 插件。☆11Mar 17, 2026Updated last month
- An obsidian plug-in that is more convenient for writing novels☆19Dec 26, 2024Updated last year
- Converted kangxi dictionary to text file, for use in Pleco and other dictionary apps. (re-uploaded 2020-06-29)☆13Jul 24, 2020Updated 5 years ago
- 通过 Koa + Socket.io + Canvas 实现在线点阵画板☆11Dec 6, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 大众点评 餐饮类数据的爬虫☆14Nov 27, 2020Updated 5 years ago
- Firmware for supported CAN adapters☆12Mar 4, 2015Updated 11 years ago
- A module for general purpose LIN communications, intended to be cross-platform and hardware agnostic. Similar to python-can☆14Feb 4, 2020Updated 6 years ago
- ☆15Jan 30, 2022Updated 4 years ago
- Open-source ELM329 OBD adapter☆10Jun 16, 2016Updated 9 years ago
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- BUSMASTER Installer Executables☆17Oct 30, 2017Updated 8 years ago
- This is a modified version of ESP32 IDF's bluetooth gatt_server project to control LED from a iOS swift App☆15Mar 16, 2017Updated 9 years ago
- Solving Competition Geometry Problems in Lean☆37Aug 26, 2025Updated 8 months ago
- 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.
- Historical documents (in Chinese) about the GPCR (Thanks Comrade RC MR HR etc.)☆14Nov 26, 2022Updated 3 years ago
- a21 — Arduino bits☆11Apr 12, 2021Updated 5 years ago
- ☆23May 16, 2025Updated 11 months ago
- A tool for BaiduPCS-Go to find PCS ID. Archived as its historical mission has ended.☆10Sep 19, 2018Updated 7 years ago
- wewe rss扩展管理组件☆23Jun 25, 2025Updated 10 months ago
- Brows CAN-Frame using esp-idf☆14May 2, 2026Updated last week
- Export audio files from Ximalaya app☆13Jul 27, 2016Updated 9 years ago
- [IEEE RA-L & ICRA 2026] Semantic-Driven Voxel Representation for LiDAR–Inertial Odometry☆44Nov 20, 2025Updated 5 months ago
- Linux kernel for SHIELD☆23Mar 12, 2015Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- This tool reads and parses CID/CSD/EXT-CSD register values from an eMMC 5.0 device and generate a report☆15Oct 22, 2014Updated 11 years ago
- 几何表达式仓库☆11Nov 4, 2025Updated 6 months ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 5 years ago
- Simple wgpu based SLAM map viewer.☆10May 5, 2020Updated 6 years ago
- 适用于MacOS上快速调用Ollama模型，从而实现比Apple Intelligence更好的效果。｜Optimized for quick invocation of the Ollama model on MacOS, delivering superior resu…☆19Nov 26, 2024Updated last year
- Code for our paper: Radar-Camera Fused Multi-Object Tracking: Online Calibration and Common Feature☆27Nov 5, 2025Updated 6 months ago
- Bridge between LiDAR (Inertial) Odometry and Interactive SLAM☆13Apr 24, 2025Updated last year