soda-opt

Code optimizer

A tool that extracts and optimizes high-level code snippets into LLVM IR using MLIR for high-level synthesis

GitHub

37 stars
7 watching
6 forks
Language: C++
last commit: 5 months ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
ofekshilon/optview2 A tool to help developers understand and improve the optimization of their code 131
mlpack/ensmallen A high-quality C++ library for non-linear numerical optimization 743
lanl-ansi/powermodels.jl A Julia package for solving power network optimization problems using various formulations and algorithms. 399
max22-/uxnbruteforce Automates the construction of optimized UXN code by searching through all possible combinations to find the most efficient solution. 8
lanl-ansi/watermodels.jl A Julia package for solving optimization problems in water distribution networks 73
jordanmeyer/nyt-bar-optimizer An R-based application that optimizes a home bar's inventory of liquor and ingredients to maximize the number of cocktail recipes that can be made with available items. 40
matthewpeterkelly/particleswarmoptimization An optimization algorithm implementation in Matlab. 82
inequation/spirv-tools-custom-opt-passes A collection of custom optimization passes for improving the performance of SPIRV-Tools 1
stonesjtu/pytorch-nce An implementation of Noise Contrastive Estimation in PyTorch to improve the performance and efficiency of softmax output layers 318
brml/climin A framework for optimizing machine learning functions using gradient-based optimization methods. 180
jayxon/leanify A lightweight tool for removing unnecessary data and recompressing files to reduce size without affecting image quality. 831
locuslab/optnet A PyTorch module that adds differentiable optimization as a layer to neural networks 513
instrat-pl/pypsa-pl An optimisation model of the Polish energy system using PyPSA framework 21
lyogavin/anima An optimization technique for large language models allowing them to run on limited hardware resources without significant performance loss. 6
yelp/moe An optimization tool for finding parameters in complex systems with expensive or time-consuming evaluation processes. 1,308