LSOracle
Logic Optimizer
A framework that optimizes digital logic using different optimization techniques and tools
IDEA project source files
100 stars
15 watching
41 forks
Language: Verilog
last commit: 4 months ago
Linked from 1 awesome list
logic-synthesis
aolofsson/awesome-opensource-hardwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 lyogavin/anima | An optimization technique for large language models allowing them to run on limited hardware resources without significant performance loss. | 9 |
 lge-arc-advancedai/auptimizer | Automates model building and deployment process by optimizing hyperparameters and compressing models for edge computing. | 200 |
 clementfarabet/lbfgs | An interface to a library providing a quasi-newton method for optimization problems | 2 |
 kvcache-ai/ktransformers | A flexible framework for LLM inference optimizations with support for multiple models and architectures | 771 |
 nessos/linqoptimizer | Automates query optimization and compilation for LINQ queries in F# | 477 |
 cathei/linqgen | An optimization project for LINQ queries using code generation to reduce allocations and improve performance. | 290 |
 tensorzero/tensorzero | A tool for optimizing large language models by collecting feedback and metrics to improve their performance over time | 1,245 |
 brml/climin | A Python package for gradient-based function optimization in machine learning | 181 |
 litian96/fedprox | An optimization framework designed to address heterogeneity in federated learning across distributed networks | 655 |
 andreaferretti/memo | A package that provides functions to memoize (cache) and optimize Nim functions. | 78 |
 mlpack/ensmallen | A C++ library for numerical optimization tasks | 754 |
 cuis15/learning-to-collaborate | A research project focused on developing methods for learning to collaborate in multi-objective optimization problems using machine learning and deep learning techniques. | 11 |
 liyao001/bioqueue | An open-source platform to optimize and streamline bioinformatics analysis workflows by estimating system resource requirements. | 29 |
 vihanb/babel-plugin-loop-optimizer | An optimization plugin for Babel that replaces certain array methods with for loops | 74 |
 qu-tan-um/olsq | Tools and software for optimizing quantum circuit layout to resolve connectivity constraints | 22 |