rainoftime
Community@rainoftime · China
Agent Skills by rainoftime
Showing 98 vetted skills indexed across 1 GitHub repositories.
rainoftimetransactional-memory
Implement software transactional memory for atomic concurrent code execution.
rainoftimeinvariant-generator
Infer loop invariants for C code verification using abstract interpretation.
rainoftimeloop-optimizer
Optimize program loops through unrolling, fusion, tiling, and vectorization.
rainoftimeeffect-type-system
Implements algebraic effect types to track and handle side effects in programming languages.
rainoftimemonad-transformer
Compose monadic effects like state, error handling, and IO into stacks.
rainoftimeclosure-converter
Transform closures into explicit environment-passing style for functional language compilers.
rainoftimecoq-proof-assistant
Develop interactive proofs and formalize mathematical theories in Coq.
rainoftimesymbolic-execution-engine
Build symbolic execution engines in Python and Z3 for test generation and bug detection.
rainoftimeaxiomatic-semantics
Define program correctness using Hoare logic and weakest preconditions.
rainoftimeacsl-annotation-assistant
Generate ACSL formal annotations for C/C++ programs to verify with Frama-C.
rainoftimelock-free-data-structure
Implement lock-free data structures using atomic operations and hazard pointers.
rainoftimehoare-logic-verifier
Verify imperative program correctness using Hoare logic and loop invariants.
rainoftimeexistential-types
Implement existential types (∃α.τ) for data abstraction and type hiding.
rainoftimemodule-system
Implement module systems with namespaces, encapsulation, and dependency management.
rainoftimelanguage-server-protocol
Implement Language Server Protocol servers for IDE features like autocompletion and refactoring.
rainoftimemessage-passing-system
Implement message passing concurrency with actors and CSP channels.
rainoftimeconcurrency-verifier
Verify concurrent programs for data races, deadlocks, and correctness issues.
rainoftimemacro-expander
Implement hygienic macro systems for compile-time syntactic abstraction and code generation.
rainoftimerow-polymorphism
Implement row polymorphism for extensible records and variants in type systems.
rainoftimerefinement-type-checker
Verify code properties and contracts using refinement types with Z3 solver.
rainoftimeeffect-system
Implement effect systems with type annotations and effect checking for pure functional languages.
rainoftimeliveness-analysis
Compute live variables at each program point for compiler optimizations.
rainoftimereduction-semantics
Define program evaluation via rewrite rules and evaluation contexts.
rainoftimecapability-system
Implement capability-based security with unforgeable tokens for fine-grained access control.