load-combination-generator
Load combination generation skill per ASCE 7 and AASHTO for ASD and LRFD design methods
pavement-design-calculator
Pavement design skill for flexible and rigid pavements using AASHTO and MEPDG methods
permit-application-generator
Permit application preparation skill for building, environmental, and DOT permits
pile-capacity-analyzer
Deep foundation capacity analysis skill for driven piles and drilled shafts
quantity-takeoff-calculator
Construction quantity takeoff skill for concrete, steel, earthwork, and materials
revit-api-interface
Revit API interface skill for element extraction, creation, and automation
section-property-calculator
Cross-sectional property calculation skill for structural sections including standard and custom shapes
seismic-hazard-analyzer
Seismic hazard analysis skill for site classification, spectral acceleration, and design response spectrum generation
settlement-calculator
Foundation settlement calculation skill for immediate, consolidation, and secondary compression
signal-timing-optimizer
Traffic signal timing optimization skill for cycle length, phasing, and coordination
slope-stability-analyzer
Slope stability analysis skill using limit equilibrium methods for static and seismic conditions
soil-classification-tool
Soil classification skill using USCS and AASHTO systems with SPT correlations
steel-connection-designer
Steel connection design skill for bolted and welded connections per AISC specifications
submittal-tracker
Construction submittal tracking skill for document management and review workflow
survey-data-processor
Survey data processing skill for point clouds, DTM generation, and coordinate transformation
traffic-simulation-engine
Traffic simulation skill for microsimulation, level of service, and signal optimization
water-distribution-modeler
Water distribution system modeling skill for pipe networks, pump analysis, and fire flow
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
Page 18 of 29 · 1427 results