Updated 6 months ago

https://github.com/binsec/binsec • Science 26%

BINSEC binary-level open-source platform

Updated 6 months ago

https://github.com/binsec/rel • Science 26%

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/uhr_sam • Science 23%

Using SAM to generate boxes for UHR images.

Updated 6 months ago

https://github.com/binspa/convex-optimization • Science 13%

2023 Spring Convex Optimization ChaoZhang

Updated 6 months ago

https://github.com/bio-lan/nf-scrna • Science 13%

Pipeline for Single-cell RNA Seq

Updated 6 months ago

https://github.com/bio-phys/af2_lir_screen • Science 26%

AlphaFold2 Multimer pipeline to identify candidate LIR motifs

Updated 6 months ago

https://github.com/bio-phys/vanthofffitting • Science 13%

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 • Science 13%

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 • Science 10%

Gromacs Python API bindings for analysis tools

Updated 6 months ago

https://github.com/bio-rsg/marea_satellite • Science 26%

Scripts to process satellite data for use in the marea R package

Updated 6 months ago

https://github.com/bioai-oslo/conjunctiverepresentations • Science 13%

Biological Spatial Representations