MikeTreml/MissionControl - الصفحة ١٨

wind-load-calculator

Wind load calculation skill per ASCE 7 for MWFRS and components and cladding

لغة النص الأصلي: الإنجليزية

abstract-domain-library

Library of abstract domains for static analysis and abstract interpretation

لغة النص الأصلي: الإنجليزية

amortized-analysis-assistant

Apply amortized analysis techniques including aggregate, accounting, and potential methods

لغة النص الأصلي: الإنجليزية

approximation-ratio-calculator

Analyze and prove approximation ratios for optimization algorithms

لغة النص الأصلي: الإنجليزية

asymptotic-notation-calculator

Automated derivation and simplification of Big-O, Big-Omega, and Big-Theta expressions for algorithm analysis

لغة النص الأصلي: الإنجليزية

benchmark-suite-manager

Manage benchmarks for algorithm engineering experiments and evaluations

لغة النص الأصلي: الإنجليزية

complexity-class-oracle

Classify problems into complexity classes with supporting evidence and proof strategies

لغة النص الأصلي: الإنجليزية

consensus-protocol-library

Reference implementations and specifications of consensus protocols

لغة النص الأصلي: الإنجليزية

counterexample-guided-refinement

Implement CEGAR for synthesis and verification workflows

لغة النص الأصلي: الإنجليزية

data-flow-analysis-framework

Design and implement data-flow analyses for compiler optimization

لغة النص الأصلي: الإنجليزية

dsl-compiler-generator

Generate compilers and interpreters for domain-specific languages

لغة النص الأصلي: الإنجليزية

latex-proof-formatter

Format proofs and algorithms in publication-quality LaTeX

لغة النص الأصلي: الإنجليزية

linearizability-checker

Check linearizability of concurrent data structure implementations

لغة النص الأصلي: الإنجليزية

loop-invariant-generator

Automatically generate and verify loop invariants for algorithm correctness proofs

لغة النص الأصلي: الإنجليزية

memory-model-analyzer

Analyze programs under various memory models for concurrent correctness

لغة النص الأصلي: الإنجليزية

model-checker-interface

Interface with multiple model checking tools for formal verification

لغة النص الأصلي: الإنجليزية

operational-semantics-builder

Define and test operational semantics specifications for programming languages

لغة النص الأصلي: الإنجليزية

optimization-correctness-verifier

Verify correctness of compiler optimizations using formal methods

لغة النص الأصلي: الإنجليزية

probabilistic-analysis-toolkit

Analyze randomized algorithms with probability theory tools and concentration inequalities

لغة النص الأصلي: الإنجليزية

recurrence-solver

Solve recurrence relations using multiple methods including Master Theorem and generating functions

لغة النص الأصلي: الإنجليزية

reduction-builder

Construct and verify polynomial-time reductions between computational problems

لغة النص الأصلي: الإنجليزية

related-work-analyzer

Analyze and organize related work for theoretical CS papers

لغة النص الأصلي: الإنجليزية

smt-solver-interface

Interface with SMT solvers for verification and synthesis

لغة النص الأصلي: الإنجليزية

soundness-proof-assistant

Assist in constructing type soundness proofs using progress and preservation theorems

لغة النص الأصلي: الإنجليزية

ssa-transformation-library

SSA-form transformations and optimizations for compiler development

لغة النص الأصلي: الإنجليزية

synthesis-specification-language

Define specifications for program synthesis using various paradigms

لغة النص الأصلي: الإنجليزية

temporal-logic-translator

Translate between temporal logic formalisms and generate property specifications

لغة النص الأصلي: الإنجليزية

termination-analyzer

Prove termination of algorithms and programs using ranking functions and well-founded orderings

لغة النص الأصلي: الإنجليزية

theorem-prover-interface

Interface with interactive theorem provers for mechanized verification

لغة النص الأصلي: الإنجليزية

tla-plus-generator

Generate and analyze TLA+ specifications for distributed systems verification

لغة النص الأصلي: الإنجليزية

turing-machine-simulator

Simulate Turing machines for computability analysis and algorithm demonstration

لغة النص الأصلي: الإنجليزية

type-inference-engine

Implement and test type inference algorithms including Algorithm W and constraint-based inference

لغة النص الأصلي: الإنجليزية

typing-rule-generator

Generate and format typing rules in inference rule notation for type system design

لغة النص الأصلي: الإنجليزية

reliability-analysis

Component and system reliability prediction and analysis skill with MTBF/MTTF calculations, failure rate databases, FMEA/FMECA support, fault tree analysis, and accelerated life testing data analysis.

لغة النص الأصلي: الإنجليزية

test-automation

Automated test equipment control and data acquisition skill for hardware validation, with VISA/SCPI instrument communication, test sequence scripting, and measurement uncertainty analysis.

لغة النص الأصلي: الإنجليزية

thermal-analysis

Electronic system thermal modeling and analysis skill for junction temperature calculation, heat sink selection, thermal resistance networks, and safe operating area verification.

لغة النص الأصلي: الإنجليزية

air-pollution-control

Specialized skill for air pollution control equipment selection and design including scrubbers, baghouses, ESPs, oxidizers, and BACT/LAER determination.

لغة النص الأصلي: الإنجليزية

membrane-system-design

Expert skill for membrane filtration and separation system design including process selection, flux calculations, fouling analysis, and concentrate management.

لغة النص الأصلي: الإنجليزية

stormwater-management

Skill for integrated stormwater management and green infrastructure design with SWMM modeling, hydrologic analysis, BMP sizing, and MS4 permit compliance.

لغة النص الأصلي: الإنجليزية

wastewater-optimization

Specialized skill for biological and physical-chemical wastewater treatment process optimization with activated sludge modeling, nutrient removal, aeration efficiency, and energy minimization.

لغة النص الأصلي: الإنجليزية