☆22Nov 26, 2024Updated last year
Alternatives and similar repositories for hypothesis_search
Users that are interested in hypothesis_search are comparing it to the libraries listed below
Sorting:
- Graphically structured diffusion model.☆21Jun 16, 2023Updated 2 years ago
- ☆34Nov 21, 2023Updated 2 years ago
- ☆10Jul 29, 2022Updated 3 years ago
- Computational predictor of protein intrinsic disorder and its functions☆10Dec 4, 2023Updated 2 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- ☆10Aug 15, 2022Updated 3 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- AeroTop: an efficient aerodynamic topology optimization framework☆12Apr 1, 2022Updated 3 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- 2 dimensional Euler equation solver on structured grids☆17Nov 1, 2023Updated 2 years ago
- ☆11Dec 5, 2024Updated last year
- ☆10Nov 27, 2019Updated 6 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 7 months ago
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Oct 13, 2021Updated 4 years ago
- Codes for Evolving Plastic ANNs☆14Dec 18, 2022Updated 3 years ago
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 10 months ago
- An Image Recognition tutorial written for the HyperionDev blog☆10Dec 19, 2017Updated 8 years ago
- OPUS-Rota4: A Gradient-Based Protein Side-Chain Modeling Framework Assisted by Deep Learning-Based Predictors☆10Apr 14, 2022Updated 3 years ago
- natural annotated text-category pairs for text classification☆10Sep 10, 2021Updated 4 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- ☆12Nov 5, 2022Updated 3 years ago
- Code for the paper "GPTQ: Accurate Post-training Quantization of Generative Pretrained Transformers" with GPT-J implementation.☆15Mar 22, 2023Updated 2 years ago
- This report is developed with the purpose of giving the student a better understanding of what is turbulence modelling and its analysis. …☆10Nov 8, 2020Updated 5 years ago
- ☆13May 25, 2022Updated 3 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- ☆15Dec 31, 2023Updated 2 years ago
- Force Fields☆14Oct 25, 2022Updated 3 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- A String Manipulation Library for Wren☆13Jul 22, 2017Updated 8 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- AttentionDTA: prediction of drug–target binding affinity using attention model.https://ieeexplore.ieee.org/abstract/document/8983125☆13Aug 29, 2020Updated 5 years ago
- Scripts and data to run AbDesign as described in Tools for protein science 2021☆14Nov 4, 2020Updated 5 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month