Popular repositories

1. Teg Teg Public

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

   Python 34 4

2. verified-scheduling verified-scheduling Public

   Coq 30 8

3. teg_applications teg_applications Public

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

   Python 10 2

4. asdl asdl Public

   Compiler IR Tools

   Python 6

5. poly poly Public

   Python 1 1

6. MoA-ARRAYS MoA-ARRAYS Public

   Forked from josefs/MoA-ARRAYS

   TeX