ChezJrk repositories

8 repositories

verified-scheduling
Public
Rocq Prover
•12•50•0•2•Updated Oct 27, 2025Oct 27, 2025
Teg
Public
A differentiable programming language with an integration primitive that soundly handles interactions among the derivative, integral, and discontinuities.
optimization differentiable-rendering differentiable-programming
optimization differentiable-rendering differentiable-programming discontinuous dirac-delta-distribution
Python
•4•43•9•1•Updated Apr 8, 2024Apr 8, 2024
asdl
Public
Compiler IR Tools
Python
•1•8•0•3•Updated Mar 20, 2024Mar 20, 2024
teg_applications
Public
Applications of the Teg differentiable programming language to problems spanning graphics and physical simulation.
trajectory-optimization differentiable-rendering differentiable-programming
trajectory-optimization differentiable-rendering differentiable-programming physical-simulation thresholded-perlin-shader
Python
•2•12•0•0•Updated Dec 30, 2021Dec 30, 2021
pappa-apps
Public
C
•2•0•0•1•Updated Apr 29, 2021Apr 29, 2021
poly
Public
Python
•1•1•0•0•Updated Jun 18, 2020Jun 18, 2020
python-asdl
Public
ASDL parser taken from CPython 3.5
Python
•
Other
•2•0•0•0•Updated Jan 10, 2018Jan 10, 2018
MoA-ARRAYS
Public
TeX
•2•0•0•0•Updated Apr 14, 2014Apr 14, 2014

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.