☆17Dec 8, 2023Updated 2 years ago
Alternatives and similar repositories for baco
Users that are interested in baco are comparing it to the libraries listed below
Sorting:
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- ☆12Jan 7, 2025Updated last year
- ☆35Dec 12, 2021Updated 4 years ago
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- ☆14May 19, 2023Updated 2 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- A GPU benchmark suite for autotuners☆19Feb 20, 2024Updated 2 years ago
- ☆18Jul 11, 2023Updated 2 years ago
- A PIM instrumentation, compilation, execution, simulation, and evaluation repository for BLIMP-style architectures.☆18May 12, 2022Updated 3 years ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆32Feb 20, 2026Updated last week
- Using C++ magic to capture CUDA kernels and tune them with Kernel Tuner☆21Sep 12, 2025Updated 5 months ago
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 4 months ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Mar 15, 2023Updated 2 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Aug 7, 2023Updated 2 years ago
- Benchmark of the main linear algebra libraries in Haskell☆26Mar 9, 2020Updated 5 years ago
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20May 9, 2022Updated 3 years ago
- Optimize tensor program fast with Felix, a gradient descent autotuner.☆32Apr 27, 2024Updated last year
- FlashMob is a shared-memory random walk system.☆32Jul 7, 2023Updated 2 years ago
- Create and deploy virtual-experiments - co-processing computational workflows☆10Jan 28, 2026Updated last month
- A curated list of research papers, datasets, and tools for applying machine learning/Deep learning techniques to compilers and program op…☆122Sep 28, 2023Updated 2 years ago
- ☆80Jan 6, 2026Updated last month
- A reference implementation of the Mind Mappings Framework.☆30Dec 2, 2021Updated 4 years ago
- ☆31Jun 15, 2022Updated 3 years ago
- (NeurIPS 2022) Automatically finding good model-parallel strategies, especially for complex models and clusters.☆44Nov 4, 2022Updated 3 years ago
- Memory Topology for GPUs☆17Feb 13, 2026Updated 2 weeks ago
- ext_mpi_collectives☆11Apr 1, 2025Updated 11 months ago
- PARADIS, a lightweight and flexible weather forecast model that tries to Keep It Simple.☆26Feb 4, 2026Updated 3 weeks ago
- Neural Networks and Deep Learning☆33Dec 9, 2023Updated 2 years ago
- HeteroCL-MLIR dialect for accelerator design☆42Sep 18, 2024Updated last year
- Package built on top of ITensors.jl and NamedGraphs.jl for quantum simulation with tensor networks (TNs) of near-arbitrary geometry☆61Updated this week
- A tracing infrastructure for heterogeneous computing applications.☆40Updated this week
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- EPOCH Input System Version 2☆10Jun 5, 2020Updated 5 years ago
- Code for paper "Beyond Closure Models: Learning Chaotic Systems via Physics-Informed Neural Operators".☆14Dec 24, 2025Updated 2 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- OpenMP offload playground☆10Nov 16, 2024Updated last year
- Performance Counter Reader☆11Sep 14, 2022Updated 3 years ago
- ☆10Jan 16, 2025Updated last year