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:
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- TensorFlow frozen forward model to plain C++ converter☆10Aug 7, 2018Updated 7 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
- [ECCV24] MOD-UV: Learning Mobile Object Detectors from Unlabeled Videos☆11Oct 7, 2024Updated last year
- 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.
- API database tools for accessing the NIST Interatomic Potentials Repository: explore and download interatomic potentials and computed pro…☆14Aug 14, 2025Updated 10 months ago
- Fragment Graphical Variational AutoEncoding for Screening and Generating Molecules☆14Nov 21, 2022Updated 3 years ago
- 基于ComNet的短文本匹配网络模型☆11Jul 9, 2019Updated 6 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
- Experiments in protein folding through language modeling☆10Dec 10, 2021Updated 4 years ago
- Unofficially Implements https://arxiv.org/abs/2112.05682 to get Linear Memory Cost on Attention for PyTorch☆12Jan 16, 2022Updated 4 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
- Calculating paramagnetic NMR effects in proteins☆10May 20, 2022Updated 4 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.
- DEPRECATED! This project has moved to mbed-os☆11Jan 10, 2017Updated 9 years ago
- ☆11Jun 21, 2022Updated 4 years ago
- 🕵 Given a user query this python module will returns a list of related searches you see on Google search results pages.☆11Sep 28, 2018Updated 7 years ago
- Helpers for working with pymatgen structure graphs.☆12Feb 4, 2025Updated last year
- A Bio2BEL package for DrugBank (https://www.drugbank.ca)☆10Dec 14, 2020Updated 5 years ago
- GStreamer plugin for Cedar hardware encoding☆16Jul 26, 2014Updated 11 years ago
- This repository contains the suggested reading list for EECS542: Advanced Topics in Computer Vision, a graduate level course at Universit…☆10Mar 16, 2017Updated 9 years ago
- VisBERT: Demo web app for "How Does BERT Answer Questions?"☆11Jul 22, 2023Updated 2 years ago
- ☆11Jan 5, 2022Updated 4 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.
- Unsupervised fingerprinting of disordered solids leading to analogical materials discovery.☆10Feb 14, 2023Updated 3 years ago
- Tinker-FFE: Molecular Engineering GUI for Tinker☆11Feb 4, 2026Updated 4 months ago
- The inverse materials design is a key topic of materials science nowadays. The proposed software solutions are useful tools for decision …☆11Jul 15, 2020Updated 5 years ago
- Human Protein Atlas - Single Cell Classification 2nd place solution Dual Head pipeline☆13May 25, 2021Updated 5 years ago
- Hierarchical Story Generation based on (https://arxiv.org/abs/1805.04833)☆11May 6, 2020Updated 6 years ago
- Resources for Drug Repurposing In Alzheimer's Disease (DRIAD) work☆11Mar 4, 2021Updated 5 years ago
- ☆10Apr 19, 2020Updated 6 years ago
- Automatic prototype based drug generation☆13Feb 13, 2018Updated 8 years ago
- 🔍 Fit3D - An application for template-based detection of small structural motifs in protein structures and macromolecular structure data…☆11Oct 16, 2018Updated 7 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.
- ☆11Nov 11, 2023Updated 2 years ago
- Beyond Pixels: Semi-Supervised Semantic Segmentation with a Multi-scale Patch-based Multi-Label Classifier (Accepted ECCV 2024)☆10May 6, 2025Updated last year
- Comfortable lightweight C++ logging library -- cross-platform, C++11.☆29Nov 28, 2022Updated 3 years ago
- Detect interesting SARS-CoV-2 spike protein variants from Sanger sequencing data.☆11Apr 15, 2022Updated 4 years ago
- ☆15Jan 29, 2019Updated 7 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 3 months ago
- Deep Continuous Quantile Regression and other experiments.☆13Feb 24, 2020Updated 6 years ago