PrincessRTFM / XIVComboPlugin
Plugin version of the icon replacement features in dalamud
☆30Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for XIVComboPlugin
- The anytime MaxSAT solver Loandra☆16Updated last month
- ☆12Updated 2 years ago
- The TLA Proof Manager☆67Updated 2 weeks ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- ☆9Updated 2 years ago
- Ball Larus edge profiling with loop optimization☆25Updated last month
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- A minimalistic and high-performance SAT solver☆143Updated 3 years ago
- mainframe application portfolio analysis, antlr4 grammars and java for static analysis of cobol+cics+db2+sqlims+execdli, jcl☆36Updated this week
- A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…☆87Updated 4 years ago
- MPS-extensions aims to ease language development within MPS.☆83Updated this week
- System to recognize infinite languages and react to string events☆26Updated 11 months ago
- Python interpreter for TLA+ specifications☆113Updated 5 months ago
- Run llvm test-suite benchmarks☆13Updated 3 years ago
- A tree-sitter grammar for TLA⁺ and PlusCal☆57Updated 3 weeks ago
- Awesome Object Capabilities and Capability Security☆347Updated 7 months ago
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- Time-sensitive affine types for predictable hardware generation☆134Updated 4 months ago
- Program instrumentation and cost function generation☆28Updated 3 months ago
- A tool to extract complexities and costs from programs and kernels☆17Updated last year
- ☆11Updated 4 years ago
- microsat☆130Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆31Updated last week
- Noether programming language☆126Updated 7 years ago
- Synthesis of Optimized Hash Functions☆49Updated last week
- A minimal development of SSA theory☆88Updated this week
- An MLIR to Native Code generator☆14Updated 10 months ago
- A tool to eliminate timing-based side channels☆48Updated last year
- The Vellvm (Verified LLVM) coq development.☆400Updated this week
- Automatic Parallelism Using LLVM☆10Updated 10 years ago