A useful toolbox for research.
☆49Jul 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:
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆14Mar 13, 2025Updated last year
- FourierFlow: Frequency-aware Flow Matching for Generative Turbulence Modeling☆17Jun 1, 2025Updated last year
- TAIDL: Tensor Accelerator ISA Definition Language☆19Apr 28, 2026Updated 3 months ago
- ☆18Feb 25, 2026Updated 5 months 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.
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆17Dec 1, 2018Updated 7 years ago
- ☆13Apr 15, 2025Updated last year
- ☆21Aug 24, 2025Updated 11 months ago
- [ICLR24] A boundary-embedded neural operator that incorporates complex boundary shape and inhomogeneous boundary values☆33Dec 5, 2024Updated last year
- Numerical assessments of a nonintrusive surrogate model based on recurrent neural networks and proper orthogonal decomposition: Rayleigh …☆10Dec 2, 2022Updated 3 years ago
- Bringing e-graphs to MLIR, natively.☆34Updated this week
- RTLMeter benchmark suite☆31Jul 21, 2026Updated last week
- [ICLR24] CinDM uses compositional generative models to design boundaries and initial states significantly more complex than the ones seen…☆40Oct 3, 2025Updated 9 months ago
- ☆21Jul 22, 2026Updated last week
- 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.
- Agile Hardware Design Course☆15Nov 17, 2025Updated 8 months ago
- Rocq framework to define the semantics of CPU architectures☆38Updated this week
- This is an example of creating an AI agent with flowchart☆11Jul 22, 2024Updated 2 years ago
- Graph Learning for Planning☆29Mar 27, 2026Updated 4 months ago
- Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.☆23Oct 31, 2024Updated last year
- Solve the advection diffusion equations looped into an optimization problem with JAX/autodiff☆14May 8, 2025Updated last year
- ☆10Jun 20, 2021Updated 5 years ago
- (WIP) Open-source Rust gate-level EDA infrastructure: parsers and databases☆21May 2, 2026Updated 2 months ago
- A toolbox for learning with neural ODEs.☆10Feb 26, 2023Updated 3 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.
- Using e-graphs for logic synthesis (ICCAD'25)☆35Updated this week
- ☆13Oct 11, 2023Updated 2 years ago
- ☆41Jul 1, 2026Updated 3 weeks ago
- D-CODE: Discovering Closed-form ODEs from Observed Trajectories☆15Feb 25, 2022Updated 4 years ago
- ☆14Aug 22, 2024Updated last year
- ☆19Mar 16, 2022Updated 4 years ago
- MulApprox - A comprehensive library of state-of-the-art approximate multipliers☆34Jun 27, 2021Updated 5 years ago
- ☆17Aug 29, 2024Updated last year
- ☆18May 19, 2025Updated 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.
- Basic Python learning - notebooks☆17Nov 10, 2021Updated 4 years ago
- Score-Guided Planning☆16Jun 29, 2026Updated last month
- Reconfigurable Stream Network Architecture☆18May 8, 2025Updated last year
- Official implementation of the paper: "Hyperbolic Graph Diffusion Model"☆14Jun 22, 2024Updated 2 years ago
- ☆14Jun 3, 2024Updated 2 years ago
- Internal wave equation solvers (KdV, normal modes, TG)☆13Mar 19, 2024Updated 2 years ago
- Official Cantera Website☆18Nov 18, 2025Updated 8 months ago