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
Sorting:
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 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
- TensorFlow frozen forward model to plain C++ converter☆10Aug 7, 2018Updated 7 years ago
- A GGNN-GWM based step-wise framework for Chemical Synthesis Prediction☆20Oct 1, 2019Updated 6 years ago
- Given a text, wrap it into phrases and send them to Yandex's search engine. If it yields a "did you mean:", substitute the original phras…☆11Dec 13, 2018Updated 7 years ago
- [ECCV24] MOD-UV: Learning Mobile Object Detectors from Unlabeled Videos☆11Oct 7, 2024Updated last year
- 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
- 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
- DEPRECATED! This project has moved to mbed-os☆11Jan 10, 2017Updated 9 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
- ☆11Jun 21, 2022Updated 3 years ago
- 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
- VisBERT: Demo web app for "How Does BERT Answer Questions?"☆11Jul 22, 2023Updated 2 years ago
- 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 last month
- 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 4 years ago
- Resources for Drug Repurposing In Alzheimer's Disease (DRIAD) work☆11Mar 4, 2021Updated 5 years ago
- ☆10Apr 19, 2020Updated 5 years ago
- Beyond Pixels: Semi-Supervised Semantic Segmentation with a Multi-scale Patch-based Multi-Label Classifier (Accepted ECCV 2024)☆10May 6, 2025Updated 10 months ago
- Detect interesting SARS-CoV-2 spike protein variants from Sanger sequencing data.☆11Apr 15, 2022Updated 3 years ago
- MatID is a Python package for identifying and analyzing atomistic systems based on their structure.☆14Aug 26, 2025Updated 6 months ago
- Kaggle Human Protein Atlas Image Classification 73th solution☆19Jan 14, 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 2 weeks ago
- Deep Continuous Quantile Regression and other experiments.☆13Feb 24, 2020Updated 6 years ago
- HiCOPS: Computational framework for peptide identification from MS data through accelerated database search☆10Mar 24, 2023Updated 2 years ago
- MR elastography with physics-informed neural networks☆15Sep 22, 2023Updated 2 years ago
- Derive macro for generating arrays from struct fields.☆20Oct 6, 2022Updated 3 years ago
- SPOT-1D-LM: Reaching Alignment-profile-based Accuracy in Predicting Protein Secondary and Tertiary Structural Properties without Alignmen…☆11Feb 1, 2024Updated 2 years ago
- This is a Snake Game built with HTML5 and Javascript☆10Nov 16, 2022Updated 3 years ago
- Membrane MP3 decoder based on MAD.☆14Oct 1, 2025Updated 5 months ago