A tool for deductive reasoning
☆15Sep 2, 2018Updated 7 years ago
Alternatives and similar repositories for deductive-reasoning
Users that are interested in deductive-reasoning are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple Command Reminder Application☆18Mar 14, 2026Updated last month
- Public website for ITUGnu☆16Jun 10, 2021Updated 4 years ago
- Searching and Sorting Algorithms☆19Feb 27, 2026Updated 2 months ago
- System Programming Course notes☆34Apr 4, 2019Updated 7 years ago
- Generator for the docker-compose.yml file from the docker CLi command☆17Mar 7, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Laravel application example from Mustafa Akgul Free Software Summer Camp 2019☆15Jan 4, 2023Updated 3 years ago
- ☆12May 1, 2023Updated 2 years ago
- Material for CULS frontend course☆18Dec 10, 2019Updated 6 years ago
- Snippets to play with mutation testing☆17Feb 16, 2013Updated 13 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Hashicorp packer Tempaltes for learning☆18Mar 11, 2025Updated last year
- A simple OpenGL 3.2 example using MSVS 2010 and freeglut☆12Feb 4, 2013Updated 13 years ago
- Collect and filter location information from social network services.☆11Jun 14, 2020Updated 5 years ago
- One-stop shop for configuring 12-factor Django apps☆10Aug 13, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆62Feb 12, 2020Updated 6 years ago
- TensorFlow frozen forward model to plain C++ converter☆10Aug 7, 2018Updated 7 years ago
- ☆13Jul 21, 2016Updated 9 years ago
- This module includes functions that can be used to simulate mechanochemical phenomena.☆11Nov 16, 2021Updated 4 years ago
- Graph neural network for predicting energy of known and hypothetical crystal structures☆10Jan 26, 2022Updated 4 years ago
- An iOS keyboard for Dongers. ༼つ ◕_◕ ༽つ☆11Feb 16, 2026Updated 2 months ago
- API database tools for accessing the NIST Interatomic Potentials Repository: explore and download interatomic potentials and computed pro…☆14Aug 14, 2025Updated 8 months ago
- Fragment Graphical Variational AutoEncoding for Screening and Generating Molecules☆14Nov 21, 2022Updated 3 years ago
- Libva backend for the sunxi-cedrus v4l2 m2m driver. Upstream moved to https://github.com/free-electrons/cedrus☆10Aug 29, 2016Updated 9 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.
- Identifying Nuances in Fake News vs. Satire: Using Semantic and Linguistic Cues (NLP4IF, EMNLP-IJCNLP 2019)☆11Dec 21, 2020Updated 5 years ago
- Experiments in protein folding through language modeling☆10Dec 10, 2021Updated 4 years ago
- End-to-End API testing tool with no code☆32Sep 4, 2022Updated 3 years ago
- Histopathologic Cancer Detection model based on Kaggle Challenge https://www.kaggle.com/c/histopathologic-cancer-detection (top 1%)☆11Feb 16, 2021Updated 5 years ago
- Scotch pipeline for indel calling.☆10Nov 25, 2019Updated 6 years ago
- Email newsletter archive☆11Jun 19, 2024Updated last year
- A basic Django project that implements an IVR telephony system with Twilio☆12Jul 17, 2014Updated 11 years ago
- Streamlabs Chatbot Script: Text-to-speech capabilities for streamlabs alerts, chat messages, and a command.☆19Mar 13, 2020Updated 6 years ago
- ☆12May 7, 2018Updated 7 years ago
- 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.
- Let's Encrypt hook for DNS validation for OVH domains☆38Oct 30, 2023Updated 2 years ago
- libhadoop is a pure c/c++ liberary for hadoop hdfs like libhdfs☆19Aug 6, 2012Updated 13 years ago
- Calculating paramagnetic NMR effects in proteins☆10May 20, 2022Updated 3 years ago
- Jinja2 extension to handle git-specific things☆18Mar 30, 2026Updated 3 weeks ago
- Fun Ruby extensions for doing math with Unicode☆48Jun 9, 2018Updated 7 years ago
- ☆11Jun 21, 2022Updated 3 years ago
- Helpers for working with pymatgen structure graphs.☆12Feb 4, 2025Updated last year