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:
- Etymological dictionary software☆23Jan 13, 2022Updated 4 years ago
- Müdür'e yardımcı uygulamalar☆11Jan 3, 2019Updated 7 years ago
- Django notes in Turkish language☆32Aug 3, 2018Updated 7 years ago
- A database designer tool that persisted on LocalStorage☆14Aug 18, 2018Updated 7 years ago
- Simple Command Reminder Application☆17Mar 14, 2026Updated 2 months 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.
- A collection of simple tips to help up your jQuery game☆11Apr 9, 2016Updated 10 years ago
- Gallery With Pinterest Pins☆24Oct 3, 2019Updated 6 years ago
- Reader SDK Quick Start Sample Android App☆26Aug 8, 2024Updated last year
- System Programming Course notes☆34Apr 4, 2019Updated 7 years ago
- **[ARCHIVED]** website changes tracker 🔍☆16Dec 9, 2025Updated 6 months ago
- An Uber Eats scraper written in python.☆22May 30, 2022Updated 4 years ago
- teaching ai to drive a car☆22Nov 15, 2020Updated 5 years ago
- Demo project for Kodla 2019 event. (Unity 2018.2.21f)☆10May 4, 2023Updated 3 years ago
- For modders requesting translations, and translators looking to help!☆23Sep 14, 2025Updated 8 months 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.
- Experimental, high-performance GPU-accelerated rasterizer for common Web content☆11Jul 16, 2015Updated 10 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- International phone number generation☆21May 26, 2026Updated 2 weeks ago
- ☆17Feb 21, 2023Updated 3 years ago
- Example Proteus Project☆11May 27, 2020Updated 6 years ago
- ☆23Jul 24, 2021Updated 4 years ago
- Collect and filter location information from social network services.☆11Jun 14, 2020Updated 5 years ago
- Desktop Application using Electron.js☆21Apr 2, 2019Updated 7 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.
- Sheath: Dagger† Inside – THIS PROJECT IS DEPRECATED!☆18May 9, 2016Updated 10 years ago
- Utility to help search within a set of jupyter notebooks☆16Dec 1, 2019Updated 6 years ago
- Removes svg extension file-loader, url-loader and raw-loader and use preact-svg-loader to load svg file as preact components in preact-cl…☆14Jun 23, 2022Updated 3 years ago
- Guidelines and personal experience for ISTQB Foundation Level certificate☆15May 14, 2023Updated 3 years ago
- ☆13Jul 21, 2016Updated 9 years ago
- A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.☆12Mar 4, 2019Updated 7 years ago
- Library of simd functions☆19Jul 24, 2025Updated 10 months ago
- A GGNN-GWM based step-wise framework for Chemical Synthesis Prediction☆20Oct 1, 2019Updated 6 years ago
- This module includes functions that can be used to simulate mechanochemical phenomena.☆11Nov 16, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- [ECCV24] MOD-UV: Learning Mobile Object Detectors from Unlabeled Videos☆11Oct 7, 2024Updated last year
- Elasticsearch REPL built on top of Jest☆23May 12, 2015Updated 11 years 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
- A lambda calculus parser, evaluator and repl☆11Oct 30, 2021Updated 4 years ago
- 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