Popular repositories Loading

1. verified-scheduling verified-scheduling Public

   Rocq Prover 45 12

2. Teg Teg Public

   A differentiable programming language with an integration primitive that soundly handles interactions among the derivative, integral, and discontinuities.

   Python 43 4

3. teg_applications teg_applications Public

   Applications of the Teg differentiable programming language to problems spanning graphics and physical simulation.

   Python 12 2

4. asdl asdl Public

   Compiler IR Tools

   Python 8 1

5. poly poly Public

   Python 1 1

6. MoA-ARRAYS MoA-ARRAYS Public

   Forked from josefs/MoA-ARRAYS

   TeX