Popular repositories Loading

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

   JavaScript 25 8

2. jax-rnafold jax-rnafold Public

   Differentiable RNA folding in JAX

   Python 22 5

3. idp-design idp-design Public

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

   Jupyter Notebook 12 2

4. jax-dna jax-dna Public

   A differentiable model of nucleic acid dynamics

   Python 7 3

5. code-synth-viewer code-synth-viewer Public

   JavaScript 2

6. geometry geometry Public

   Formal encoding of IMO Geometry problems (WIP)

   Lean 1 1