scientific-computing
16
chemical-organization-theory
**Category:** Phase 3 Core - Autopoietic Systems
plurigrid
research
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
scientific-computing
16
ducklake-semantic-analyzer
Semantic analysis for DuckLake ACSet models with GF(3) conservation
plurigrid
research
scientific-computing
16
information-geometry
Fisher-Rao metric on statistical manifolds with natural gradient and divergence analysis
plurigrid
research
scientific-computing
16
lawvere-theory
Lawvere theories: categorical universal algebra.
plurigrid
research
scientific-computing
16
natural-transformation
Natural transformations: morphisms of functors.
plurigrid
research
scientific-computing
16
presheaf-topos
Presheaves: contravariant Set-valued functors.
plurigrid
research
scientific-computing
16
spectral-methods
Fourier-Laplacian eigenmodes for frequency domain analysis of graph and signal structures
plurigrid
research
scientific-computing
16
virtual-double
Virtual double categories: loose morphisms.
plurigrid
research
scientific-computing
16
crn-topology
Chemical Reaction Network topology for generating and analyzing reaction graph structures.
plurigrid
research
scientific-computing
16
dynamical-system-functor
Categorical structure of dynamical systems
plurigrid
research
scientific-computing
16
performing-malware-persistence-investigation
Systematically investigate all persistence mechanisms on Windows and Linux systems to identify how malware survives reboots and maintains access.
plurigrid
research
scientific-computing
16
structural-stability
Robustness of qualitative dynamics under perturbation
plurigrid
research
scientific-computing
15
gene-set-enrichment
Perform gene set enrichment analysis using AI research providers. Analyzes lists of genes to identify biological themes, pathways, and functional associations.
monarch-initiative
research
scientific-computing
15
run-deep-research
Toolkit for performing deep research on complex topics using multiple AI research providers (OpenAI, Falcon, Perplexity, Consensus). Emphasizes explicit speed vs depth trade-offs.
monarch-initiative
research
scientific-computing
15
contextual-equivalence
A skill for proving contextual equivalence between programs using operational semantics, bisimulation, and related techniques.
rainoftime
research
scientific-computing
15
interprocedural-analysis
A skill for analyzing programs across function/procedure boundaries, enabling whole-program analysis.
rainoftime
research
scientific-computing
15
bisimulation-checker
Checks bisimulation for process calculi. Use when: (1) Proving equivalence, (2) Compiler optimization, (3) Protocol verification.
rainoftime
research
scientific-computing
15
fluidsim
Framework for computational fluid dynamics simulations using Python. Use when running fluid dynamics simulations including Navier-Stokes equations (2D/3D), shallow water equations, stratified flows, or when analyzing turbulence, vortex dynamics, or geophysical flows. Provides pseudospectral methods with FFT, HPC support, and comprehensive output analysis.
agent-skills-hub
research