Pinned Loading

1. gradbench/gradbench gradbench/gradbench Public

   Benchmark for differentiable programming across languages and domains.

   Rust 2 1

2. rose-lang/rose rose-lang/rose Public

   Composable autodiff for the interactive web.

   Rust 19

3. penrose/penrose penrose/penrose Public

   Create beautiful diagrams just by typing notation in plain text.

   TypeScript 6.7k 280

4. boot-refresh boot-refresh Public

   A Boot task used to reload Clojure code on the fly while developing.

   Clojure 14 2

5. elliptic-curves elliptic-curves Public archive

   A synthesis/presentation of the basics of elliptic curves.

   TeX 1

6. gradual-verification/ecoop21-artifact gradual-verification/ecoop21-artifact Public archive

   Java 1