7 projects
stelling
Harness-driven verification for JAX scientific computing, with jaxpr as the verification IR.
nudge-bio
Node/edge Ultrasensitivity Diagnostic for Gene-regulatory Effects — mechanism attribution for Perturb-seq screens
maddening
Modular Automatic Differentiation and Data-Enhanced Neural-network INteracting Graph
mime-engine
MIcrorobotics Multiphysics Engine — domain-specific physics for microrobot simulation
symantex
Thin python interface for using Large Language Models to convert LaTeX into Sympy for automatic mathematical processing
wagtail-admin-modals
Supports custom modal workflows for Wagtail admin
doculinkr
A Python CLI to seamlessly link & manage Docusaurus documentation from multiple Git projects into one unified website.
