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: 7 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 136
mlpack/ensmallen A C++ library for numerical optimization tasks 754
lanl-ansi/powermodels.jl A Julia package for solving power network optimization problems using various formulations and algorithms. 401
max22-/uxnbruteforce An optimized search tool for finding efficient code snippets in the UXN programming language 8
lanl-ansi/watermodels.jl A Julia package for solving optimization problems in water distribution networks 74
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. 83
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 317
brml/climin A Python package for gradient-based function optimization in machine learning 181
jayxon/leanify A lightweight tool for removing unnecessary data and recompressing files to reduce size without affecting image quality. 833
locuslab/optnet A PyTorch module that adds differentiable optimization as a layer to neural networks 517
instrat-pl/pypsa-pl An optimisation model of the Polish energy system using PyPSA framework 22
lyogavin/anima An optimization technique for large language models allowing them to run on limited hardware resources without significant performance loss. 9
yelp/moe An optimization tool for finding parameters in complex systems with expensive or time-consuming evaluation processes. 1,309