LSOracle
Logic Optimizer
A framework that optimizes digital logic using different optimization techniques and tools
IDEA project source files
97 stars
15 watching
41 forks
Language: Verilog
last commit: 13 days 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. | 6 |
 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 | 736 |
 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. | 287 |
 tensorzero/tensorzero | A tool that creates a feedback loop to optimize large language models by integrating model gateways and providing data analytics and machine learning capabilities. | 569 |
 brml/climin | A framework for optimizing machine learning functions using gradient-based optimization methods. | 180 |
 litian96/fedprox | An optimization framework designed to address heterogeneity in federated learning across distributed networks | 643 |
 andreaferretti/memo | A package that provides functions to memoize (cache) and optimize Nim functions. | 78 |
 mlpack/ensmallen | A high-quality C++ library for non-linear numerical optimization | 743 |
 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 |