A useful toolbox for research.
☆59Jul 10, 2024Updated 2 years ago
Alternatives and similar repositories for research_toolbox
Users that are interested in research_toolbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Jul 6, 2026Updated 3 months ago
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 4 months ago
- FourierFlow: Frequency-aware Flow Matching for Generative Turbulence Modeling☆17Jun 1, 2025Updated last year
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated 2 months ago
- ☆20Feb 25, 2026Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- SHAPE-guided RNA structural homology search☆12Aug 12, 2025Updated last year
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆17Dec 1, 2018Updated 7 years ago
- TAIDL: Tensor Accelerator ISA Definition Language☆25Oct 20, 2026Updated last week
- ☆11Mar 11, 2025Updated last year
- Convert Verilog to a Hardcaml design☆23Jul 10, 2026Updated 3 months ago
- EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)☆10Oct 9, 2025Updated last year
- Code associated with the publication 'Generative and predictive neural networks for the design of functional RNA molecules'☆16Apr 8, 2025Updated last year
- Bitstream Embedded RAM Transfusion☆11Aug 4, 2021Updated 5 years ago
- ☆23Aug 24, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code for reproducing the experiments in the paper "On Conditional Diffusion Models for PDE Simulations".☆29Nov 6, 2024Updated last year
- Data used in "Machine learning modeling of superconducting critical temperature" paper☆36Mar 15, 2018Updated 8 years ago
- ☆18Oct 15, 2026Updated 2 weeks ago
- ☆13Apr 15, 2025Updated last year
- VolcanoSV enables accurate and robust structural variant calling in diploid genomes from single-molecule long read sequencing☆10Sep 8, 2026Updated last month
- [ICLR 2025] CL-DiffPhyCon achieves closed-loop diffusion control of physical systems with significant speedup of sampling efficiency☆31Oct 19, 2025Updated last year
- Sort out the researchers in the field of AI for Science☆22Apr 5, 2023Updated 3 years ago
- RTLMeter benchmark suite☆34Updated this week
- [ICLR 2024] A boundary-embedded neural operator that incorporates complex boundary shape and inhomogeneous boundary values☆35Oct 2, 2026Updated 3 weeks 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.
- ☆15Jul 22, 2026Updated 3 months ago
- A modular academic-writing skill suite for novelty-risk audits, problem-driven literature reviews, manuscript argument reconstruction, Te…☆24Aug 6, 2026Updated 2 months ago
- A standardized, efficient, quantifiable, and reproducible time management and retrospective workflow.☆14Aug 13, 2022Updated 4 years ago
- 智能小车☆11Dec 15, 2017Updated 8 years ago
- [ICLR 2025] Wavelet Diffusion Neural Operator (WDNO) uses diffusion models on wavelet space for generative PDE simulation and control.☆68Mar 8, 2026Updated 7 months ago
- ☆12Oct 10, 2024Updated 2 years ago
- Build and test environment for CMSIS-Pack containing TensorFlow Lite Micro☆17Sep 3, 2026Updated last month
- Local Motif Clustering on Time-Evolving Graphs, KDD 2020☆10Mar 12, 2025Updated last year
- A scalable method to infer fate specific gene regulatory network from single cell gene expression data☆10Jan 21, 2025Updated last year
- 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.
- Code for MGPS algorithm☆13Nov 27, 2024Updated last year
- Pipeline for processing and analyzing CiFi data☆12Sep 24, 2026Updated last month
- Linear 2D solver to find the lee wave field with user defined topography, mean flow, and upper boundary condition.☆10Jan 30, 2025Updated last year
- Study of Multiple Sclerosis(MS) using paried snRNA-seq and Visium transcriptmics datasets.☆11Dec 11, 2024Updated last year
- 中国大学MOOC---《ROS机械臂开发技术》讲义☆18May 29, 2019Updated 7 years ago
- Graph Learning for Planning☆33Mar 27, 2026Updated 7 months ago
- Replace Tcl scripting with Python☆18Aug 25, 2026Updated 2 months ago