No visual example yet
Explore the skillPyNeuraLogic
LukasZahradnik
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
OPENAGENTSKILL / DIRECTORY
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Find a skill for your next task. Preview examples where available.
1–5 / 5
Results: 5
No visual example yet
Explore the skillLukasZahradnik
PyNeuraLogic lets you use Python to create Differentiable Logic Programs
No visual example yet
Explore the skillpatrick-kidger
Differentiable controlled differential equation solvers for PyTorch with GPU support and memory-efficient adjoint backpropagation.
No visual example yet
Explore the skillpatrick-kidger
Differentiable computations of the signature and logsignature transforms, on both CPU and GPU. (ICLR 2021)
No visual example yet
Explore the skilltensorlang
Tensorlang, a differentiable programming language based on TensorFlow
No visual example yet
Explore the skillneurallambda
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.