逻辑 逻辑学
☆84Oct 8, 2019Updated 7 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:
- 美洲历史☆40Oct 12, 2019Updated 7 years ago
- 亚洲历史☆51Oct 12, 2019Updated 7 years ago
- 军事、军事科学☆59Oct 12, 2019Updated 7 years ago
- 传记 自传☆48Oct 20, 2019Updated 7 years ago
- 欧洲历史☆60Oct 12, 2019Updated 7 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.
- Patent-Inventor Disambiguation using C++☆12Aug 18, 2011Updated 15 years ago
- Chemical formatter for Microsoft Office☆11May 17, 2020Updated 6 years ago
- A quant research lab built for AI coding agents to test, compare, and deploy trading strategies from one CLI workspace☆15Jul 3, 2026Updated 3 months ago
- Bibliographic Entity Automatic Recognition and Disambiguation☆10Feb 22, 2016Updated 10 years ago
- ☆10Jun 20, 2024Updated 2 years ago
- a simple RayTracer based on the Monte Carlo Path Tracing☆16May 27, 2017Updated 9 years ago
- Various programs written to help with analysis of electrochemical data for the characterization of electrodes☆12Apr 14, 2019Updated 7 years ago
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months ago
- An Open Source name disambiguation tool for version control systems☆10Nov 21, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Constructing a null model and measuring the nestedness of bipartite networks☆11Jul 23, 2020Updated 6 years ago
- [TMM 2023] Self-Supervised Intra-Modal and Cross-Modal Contrastive Learning for Point Cloud Understanding☆11Jul 9, 2023Updated 3 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- ☆16Sep 2, 2023Updated 3 years ago
- Code for the Master Thesis "Enhancing the Microsoft Academic Knowledge Graph"☆14Sep 28, 2020Updated 6 years ago
- React application using Segment Anything in browser☆10Oct 9, 2023Updated 3 years ago
- Firmware for supported CAN adapters☆13Mar 4, 2015Updated 11 years ago
- Open-source ELM329 OBD adapter☆10Jun 16, 2016Updated 10 years ago
- High quality mainline kernel and BSP support for different SoCs☆24Updated this 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.
- This repository contains the code for the paper "Percolation of temporal hierarchical mobility networks during COVID-19".☆16Nov 13, 2024Updated last year
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated 6 months ago
- ☆13Sep 30, 2024Updated 2 years ago
- Demo app using Kvaser canlib32.dll in Qt☆13Sep 11, 2015Updated 11 years ago
- Homological Algebra Programming☆15Updated this week
- Ruby Gem for Interacting with BMW Connected Drive APIs☆10May 16, 2016Updated 10 years ago
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 7 years ago
- ☆17Jan 30, 2022Updated 4 years ago
- Talking between two Tiva C Series microcontrollers via CAN bus☆14Jan 20, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A module for general purpose LIN communications, intended to be cross-platform and hardware agnostic. Similar to python-can☆14Jun 2, 2026Updated 4 months ago
- ☆18Aug 18, 2025Updated last year
- ☆12Jul 21, 2021Updated 5 years ago
- Simulation of organic chemistry reactions has been moved here☆18Nov 16, 2015Updated 10 years ago
- 10BASE-T1S-To-USB Media Converter☆19Jan 29, 2024Updated 2 years ago
- Main repository for the CAOS language.☆16Dec 7, 2015Updated 10 years ago
- Open-source LaTeX equation editor/scratch pad for the web with live preview and syntax highlighting.☆10Oct 2, 2026Updated 3 weeks ago