Popular repositories Loading

1. geo-model-builder geo-model-builder Public

   JavaScript 21 8

2. jax-rnafold jax-rnafold Public

   Differentiable RNA folding in JAX

   Python 12 4

3. idp-design idp-design Public

   Optimizing IDPs directly at the level of simulations via a continuous sequence representation.

   Python 7 1

4. code-synth-viewer code-synth-viewer Public

   JavaScript 2

5. jax-dna jax-dna Public

   A differentiable model of nucleic acid dynamics

   Python 2

6. geometry geometry Public

   Formal encoding of IMO Geometry problems (WIP)

   Lean 1 1