| lib-skill:computer-science--approximation-ratio-calculator | skill-area:np-hard-heuristics | SkillArea |
| lib-skill:computer-science--approximation-ratio-calculator | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--approximation-ratio-calculator | skill-area:dynamic-programming | SkillArea |
| lib-skill:computer-science--asymptotic-notation-calculator | skill-area:np-hard-heuristics | SkillArea |
| lib-skill:computer-science--asymptotic-notation-calculator | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--asymptotic-notation-calculator | skill-area:dynamic-programming | SkillArea |
| lib-skill:computer-science--benchmark-suite-manager | skill-area:np-hard-heuristics | SkillArea |
| lib-skill:computer-science--benchmark-suite-manager | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--benchmark-suite-manager | skill-area:dynamic-programming | SkillArea |
| lib-skill:computer-science--complexity-class-oracle | skill-area:np-hard-heuristics | SkillArea |
| lib-skill:computer-science--complexity-class-oracle | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--complexity-class-oracle | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--consensus-protocol-library | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--consensus-protocol-library | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--consensus-protocol-library | skill-area:language-design | SkillArea |
| lib-skill:computer-science--counterexample-guided-refinement | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--counterexample-guided-refinement | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--counterexample-guided-refinement | skill-area:language-design | SkillArea |
| lib-skill:computer-science--data-flow-analysis-framework | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--data-flow-analysis-framework | skill-area:language-design | SkillArea |
| lib-skill:computer-science--data-flow-analysis-framework | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--dsl-compiler-generator | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--dsl-compiler-generator | skill-area:language-design | SkillArea |
| lib-skill:computer-science--dsl-compiler-generator | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--latex-proof-formatter | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--latex-proof-formatter | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--latex-proof-formatter | skill-area:language-design | SkillArea |
| lib-skill:computer-science--linearizability-checker | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--linearizability-checker | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--linearizability-checker | skill-area:language-design | SkillArea |
| lib-skill:computer-science--loop-invariant-generator | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--loop-invariant-generator | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--loop-invariant-generator | skill-area:language-design | SkillArea |
| lib-skill:computer-science--memory-model-analyzer | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--memory-model-analyzer | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--memory-model-analyzer | skill-area:language-design | SkillArea |
| lib-skill:computer-science--model-checker-interface | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--model-checker-interface | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--model-checker-interface | skill-area:language-design | SkillArea |
| lib-skill:computer-science--operational-semantics-builder | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--operational-semantics-builder | skill-area:language-design | SkillArea |
| lib-skill:computer-science--operational-semantics-builder | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--optimization-correctness-verifier | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--optimization-correctness-verifier | skill-area:language-design | SkillArea |
| lib-skill:computer-science--optimization-correctness-verifier | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--probabilistic-analysis-toolkit | skill-area:np-hard-heuristics | SkillArea |
| lib-skill:computer-science--probabilistic-analysis-toolkit | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--probabilistic-analysis-toolkit | skill-area:dynamic-programming | SkillArea |
| lib-skill:computer-science--recurrence-solver | skill-area:np-hard-heuristics | SkillArea |
| lib-skill:computer-science--recurrence-solver | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--recurrence-solver | skill-area:dynamic-programming | SkillArea |
| lib-skill:computer-science--reduction-builder | skill-area:np-hard-heuristics | SkillArea |
| lib-skill:computer-science--reduction-builder | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--reduction-builder | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--related-work-analyzer | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--related-work-analyzer | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--related-work-analyzer | skill-area:language-design | SkillArea |
| lib-skill:computer-science--smt-solver-interface | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--smt-solver-interface | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--smt-solver-interface | skill-area:language-design | SkillArea |
| lib-skill:computer-science--soundness-proof-assistant | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--soundness-proof-assistant | skill-area:language-design | SkillArea |
| lib-skill:computer-science--soundness-proof-assistant | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--ssa-transformation-library | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--ssa-transformation-library | skill-area:language-design | SkillArea |
| lib-skill:computer-science--ssa-transformation-library | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--synthesis-specification-language | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--synthesis-specification-language | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--synthesis-specification-language | skill-area:language-design | SkillArea |
| lib-skill:computer-science--temporal-logic-translator | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--temporal-logic-translator | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--temporal-logic-translator | skill-area:language-design | SkillArea |
| lib-skill:computer-science--termination-analyzer | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--termination-analyzer | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--termination-analyzer | skill-area:language-design | SkillArea |
| lib-skill:computer-science--theorem-prover-interface | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--theorem-prover-interface | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--theorem-prover-interface | skill-area:language-design | SkillArea |
| lib-skill:computer-science--tla-plus-generator | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--tla-plus-generator | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--tla-plus-generator | skill-area:language-design | SkillArea |
| lib-skill:computer-science--turing-machine-simulator | skill-area:np-hard-heuristics | SkillArea |
| lib-skill:computer-science--turing-machine-simulator | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--turing-machine-simulator | skill-area:mathematical-reasoning | SkillArea |
| lib-skill:computer-science--type-inference-engine | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--type-inference-engine | skill-area:language-design | SkillArea |
| lib-skill:computer-science--type-inference-engine | skill-area:graph-algorithms | SkillArea |
| lib-skill:computer-science--typing-rule-generator | skill-area:compiler-implementation | SkillArea |
| lib-skill:computer-science--typing-rule-generator | skill-area:language-design | SkillArea |
| lib-skill:computer-science--typing-rule-generator | skill-area:graph-algorithms | SkillArea |
| lib-skill:electrical-engineering--reliability-analysis | skill-area:hardware-abstraction-layer | SkillArea |
| lib-skill:electrical-engineering--reliability-analysis | skill-area:device-drivers | SkillArea |
| lib-skill:electrical-engineering--reliability-analysis | skill-area:firmware-development | SkillArea |
| lib-skill:electrical-engineering--test-automation | skill-area:hardware-abstraction-layer | SkillArea |
| lib-skill:electrical-engineering--test-automation | skill-area:device-drivers | SkillArea |
| lib-skill:electrical-engineering--test-automation | skill-area:firmware-development | SkillArea |
| lib-skill:electrical-engineering--thermal-analysis | skill-area:hardware-abstraction-layer | SkillArea |
| lib-skill:electrical-engineering--thermal-analysis | skill-area:device-drivers | SkillArea |
| lib-skill:electrical-engineering--thermal-analysis | skill-area:firmware-development | SkillArea |
| lib-skill:environmental-engineering--air-pollution-control | skill-area:data-analysis | SkillArea |