Skip to content
@ChezJrk

ChezJrk

Popular repositories Loading

  1. Teg Teg Public

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

    Python 37 4

  2. verified-scheduling verified-scheduling Public

    Coq 34 9

  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

Repositories

Showing 8 of 8 repositories
  • ChezJrk/verified-scheduling’s past year of commit activity
    Coq 34 9 0 0 Updated Apr 14, 2024
  • Teg Public

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

    ChezJrk/Teg’s past year of commit activity
    Python 37 4 9 1 Updated Apr 8, 2024
  • asdl Public

    Compiler IR Tools

    ChezJrk/asdl’s past year of commit activity
    Python 7 0 0 1 Updated Mar 20, 2024
  • teg_applications Public

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

    ChezJrk/teg_applications’s past year of commit activity
    Python 11 2 0 0 Updated Dec 30, 2021
  • pappa-apps Public
    ChezJrk/pappa-apps’s past year of commit activity
    C 0 2 0 1 Updated Apr 29, 2021
  • poly Public
    ChezJrk/poly’s past year of commit activity
    Python 1 1 0 0 Updated Jun 18, 2020
  • python-asdl Public Forked from fpoli/python-asdl

    ASDL parser taken from CPython 3.5

    ChezJrk/python-asdl’s past year of commit activity
    Python 0 1 0 0 Updated Jan 10, 2018
  • MoA-ARRAYS Public Forked from josefs/MoA-ARRAYS
    ChezJrk/MoA-ARRAYS’s past year of commit activity
    TeX 0 2 0 0 Updated Apr 14, 2014

Top languages

Loading…

Most used topics

Loading…