Updated 6 months ago
https://github.com/binsec/rel
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Updated 6 months ago
https://github.com/binspa/convex-optimization
2023 Spring Convex Optimization ChaoZhang
Updated 6 months ago
https://github.com/bio-phys/af2_lir_screen
AlphaFold2 Multimer pipeline to identify candidate LIR motifs
Updated 6 months ago
https://github.com/bio-phys/vanthofffitting
Nonlinear least squares fitting of van 't Hoff plots via cubic splines, which makes the extraction of heat capacity and thermodynamic potentials possible.
Updated 6 months ago
https://github.com/bio-phys/diffusionmle
Analyze experimental tracking data using a maximum likelihood estimator (MLE) to extract translational diffusion coefficients.
Updated 6 months ago
https://github.com/bio-pnpi/gromacs-pyapi
Gromacs Python API bindings for analysis tools
Updated 6 months ago
https://github.com/bio-rsg/marea_satellite
Scripts to process satellite data for use in the marea R package
Updated 6 months ago
https://github.com/bioai-oslo/conjunctiverepresentations
Biological Spatial Representations