☆17Jul 11, 2023Updated 3 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:
- Polyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model☆13Jan 19, 2020Updated 6 years ago
- Template for the Informatics Project Proposal course☆13Mar 4, 2020Updated 6 years ago
- ☆17Dec 8, 2023Updated 2 years ago
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 10 months ago
- 夸夸机器人☆20Dec 23, 2021Updated 4 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.
- An RL-trained Backgammon agent☆20Jul 8, 2019Updated 7 years ago
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20May 9, 2022Updated 4 years ago
- ACPO: Python ML training/inference framework for LLVM optimizations☆13Jul 2, 2025Updated last year
- ☆37Dec 12, 2021Updated 4 years ago
- Scala implementations of standard algorithms for Multi-Armed Bandits Problem.☆11May 7, 2016Updated 10 years ago
- Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"☆27Dec 30, 2021Updated 4 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- ☆84Aug 26, 2026Updated last week
- Code that accompanies the paper Guided Deep Kernel Learning☆10Jul 2, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆12Aug 13, 2022Updated 4 years ago
- The companion code to the paper "Model-based Causal Bayesian Optimization"☆11Nov 16, 2022Updated 3 years ago
- Rust framework for solving multi-objective optimisation problems using the NSGA family of multi-objective evolutionary algorithms☆19Aug 5, 2026Updated 3 weeks ago
- Accompanying code for AAAI 2021 publication - High-Dimensional Bayesian Optimization via Tree-Structured Additive Models☆11Jun 19, 2024Updated 2 years ago
- ☆20Aug 11, 2022Updated 4 years ago
- Bayesian Optimization with multiple tiers of objectives, which can flexibly depend on model inputs and outputs☆14Sep 10, 2025Updated 11 months ago
- Edit by Example - automated file editing just from given examples.☆16May 14, 2022Updated 4 years ago
- Datasets for Hyperparameter Optimization of Neural Machine Translation☆10Aug 19, 2024Updated 2 years ago
- A Markdown to HTML compiler written in Haskell.☆17Apr 15, 2024Updated 2 years 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.
- Code for "So similar and yet incompatible: Toward the automated identification of semantically compatible words" in NAACL 2015 proceedi…☆11May 11, 2015Updated 11 years ago
- ☆13Jun 21, 2021Updated 5 years ago
- ☆11Jul 18, 2023Updated 3 years ago
- An experimental LLVM pass plugin that allows you to apply the State of the Art function merging techniques☆16Feb 8, 2025Updated last year
- pandoc-like tool for symbolic regression expressions☆15Mar 10, 2024Updated 2 years ago
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆73Feb 10, 2023Updated 3 years ago
- ☆10Oct 26, 2021Updated 4 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆19May 29, 2024Updated 2 years ago
- Black-box optimizer submitted to BBO challenge at NeurIPS 2020☆14Dec 10, 2020Updated 5 years 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.
- Bayesian Optimization for Anything: A high-level Bayesian optimization framework and model wrapping toolkit. It provides an easy-to-use i…☆13Jun 22, 2026Updated 2 months ago
- Examples of the book "The Definitive ANTLR 4 Reference" by Terence Parr translated in C#☆25Jul 24, 2022Updated 4 years ago
- Servant Example for Haskell Advent Calendar 2015☆14Jul 30, 2018Updated 8 years ago
- Haskell library for mahjong☆11Mar 11, 2017Updated 9 years ago
- A LALR(1) OpenQASM Parser and AST Generator.☆14Jul 29, 2024Updated 2 years ago
- ☆14Aug 20, 2019Updated 7 years ago
- This repository contains the figures, tables and source code in the ICS'24 paper: "Accelerated Auto-Tuning of GPU Kernels for Tensor Comp…☆10Dec 5, 2024Updated last year