Popular repositories Loading

1. verified-scheduling verified-scheduling Public

   Coq 40 10

2. Teg Teg Public

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

   Python 37 4

3. teg_applications teg_applications Public

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

   Python 11 2

4. asdl asdl Public

   Compiler IR Tools

   Python 7

5. poly poly Public

   Python 1 1

6. MoA-ARRAYS MoA-ARRAYS Public

   Forked from josefs/MoA-ARRAYS

   TeX