Angles24 / ZodiacWeapons
A set of RebornBuddy profiles designed to complete your Zodiac relic weapon.
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for ZodiacWeapons
- Plugin version of the icon replacement features in dalamud☆30Updated 3 months ago
- Ball Larus edge profiling with loop optimization☆25Updated last month
- ☆62Updated 2 years ago
- The anytime MaxSAT solver Loandra☆16Updated last month
- Multi-way hypergraph partitioning algorithms: FMS (Fiduccia-Mattheyses-Sanchis), PLM (Partitioning by Locked Moves), PFM (Partitioning by…☆18Updated 3 years ago
- A tool to eliminate timing-based side channels☆48Updated last year
- ☆272Updated 2 months ago
- System to recognize infinite languages and react to string events☆26Updated 11 months ago
- Run llvm test-suite benchmarks☆13Updated 3 years ago
- A simple SAT solver based on the CDCL algorithm☆18Updated 5 years ago
- A tool to extract complexities and costs from programs and kernels☆17Updated last year
- MPS-extensions aims to ease language development within MPS.☆83Updated this week
- A circuit toolkit☆96Updated 4 years ago
- LLVM test suite benchmarks (260 benchmarks - 36 test suites)☆18Updated 2 years ago
- A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.☆30Updated last year
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆20Updated last year
- OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph…☆115Updated last month
- Program instrumentation and cost function generation☆28Updated 3 months ago
- NOELLE Offers Empowering LLVM Extensions☆77Updated this week
- Time-sensitive affine types for predictable hardware generation☆134Updated 4 months ago
- DATC RDF☆48Updated 4 years ago
- microsat☆130Updated 2 years ago
- ☆12Updated last year
- ☆9Updated 2 years ago
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆25Updated 4 months ago
- A Node.js bridge to the Espresso heuristic logic minimizer original C code☆40Updated last year
- Research paper based on or related to ABC.☆15Updated last week
- Implementation of the HYPE hypergraph partitioner.☆17Updated 4 years ago
- C++ logic network library☆211Updated last month
- fast probabilistic symmetry detection on graphs☆14Updated last week
- An MLIR to Native Code generator☆14Updated 10 months ago