☆17Jul 11, 2023Updated 2 years ago
Alternatives and similar repositories for BOCA
Users that are interested in BOCA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Learning Compiler Pass Orders using Coreset and Normalized Value Prediction. (ICML 2023)☆20Jul 23, 2023Updated 2 years ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆14Apr 23, 2026Updated last week
- RISC-V Formal in Chisel☆13Apr 9, 2024Updated 2 years ago
- Polyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model☆12Jan 19, 2020Updated 6 years ago
- ☆14Jul 21, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆12Jul 9, 2025Updated 9 months ago
- ☆17Dec 8, 2023Updated 2 years ago
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20May 9, 2022Updated 3 years ago
- yet another model checker☆23Apr 21, 2026Updated last week
- ☆35Dec 12, 2021Updated 4 years ago
- UCAS-2022秋季学期计算机算法设计与分析(刘玉贵老师)课程资料总结☆25Dec 29, 2022Updated 3 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 6 months ago
- Compiler-R1: Towards Agentic Compiler Auto-tuning with Reinforcement Learning☆31Jul 14, 2025Updated 9 months ago
- Scala発火村の資料ですお☆30Oct 18, 2010Updated 15 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Scala implementations of standard algorithms for Multi-Armed Bandits Problem.☆12May 7, 2016Updated 9 years ago
- ☆18Jun 12, 2017Updated 8 years ago
- A Haskell implementation of distributed hash tables with two-phase commit.☆10Dec 9, 2016Updated 9 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆16Feb 5, 2025Updated last year
- ☆80Apr 7, 2026Updated 3 weeks ago
- Code that accompanies the paper Guided Deep Kernel Learning☆10Jul 2, 2023Updated 2 years ago
- ☆12Aug 13, 2022Updated 3 years ago
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 6 months ago
- The companion code to the paper "Model-based Causal Bayesian Optimization"☆11Nov 16, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Oct 28, 2020Updated 5 years ago
- Multi-objective optimisation framework in Rust☆18Mar 22, 2025Updated last year
- Accompanying code for AAAI 2021 publication - High-Dimensional Bayesian Optimization via Tree-Structured Additive Models☆11Jun 19, 2024Updated last year
- Edit by Example - automated file editing just from given examples.☆16May 14, 2022Updated 3 years ago
- Code for "So similar and yet incompatible: Toward the automated identification of semantically compatible words" in NAACL 2015 proceedi…☆11May 11, 2015Updated 10 years ago
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆72Feb 10, 2023Updated 3 years ago
- Fine-tuning Quantized Neural Networks with Zeroth-order Optimization☆19Sep 17, 2025Updated 7 months ago
- A Markdown to HTML compiler written in Haskell.☆17Apr 15, 2024Updated 2 years ago
- Implementation of Inferring Networks of Substitutable and Complementary Products Model paper☆15Feb 21, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Tiny Agents: LLM + MCP Tools☆70May 19, 2025Updated 11 months ago
- Sequential Gallery for Interactive Visual Design Optimization [SIGGRAPH 2020]☆22Nov 11, 2025Updated 5 months ago
- ☆13Jun 21, 2021Updated 4 years ago
- Hardware Accelerated MWPM decoder for Quantum Error Correction☆19Mar 23, 2025Updated last year
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 3 years ago
- pandoc-like tool for symbolic regression expressions☆15Mar 10, 2024Updated 2 years ago
- Autocomp: Optimize any AI kernel, anywhere.☆126Updated this week