HN · GitHub Signals

OPEN SOURCE, IN FOCUS

torchlean

lean-dojo/torchlean

TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification. - GitHub - lean-dojo/TorchLean: TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.

Explore on GitHub ↗

Saved projects stay in this browser. No account needed.

TAKE A CLOSER LOOK

Start with the source.

The repository is the place to check installation steps, supported platforms, the license, and current maintenance before choosing a tool.

Read the documentation on GitHub ↗

Keep exploring

Find projects in the same areas, or search the archive for a different approach.

ANOTHER GOOD FIND

Explore related projects

View the archive ↗

Connected by topics and descriptions.

astrio-labs

forall

Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

Take a look →
bendlang

bend

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

Take a look →
codeaholicguy

ai-devkit

Make AI coding agents follow a repeatable engineering workflow with planning, memory, verification, skills, and review. One config. All agents. Same workflow.

Take a look →