HN · GitHub Signals

OPEN SOURCE, IN FOCUS

tscert

cristianoc/tscert

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

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.

josevalim

lynx

Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)

Take a look →
kkuchta

tspell

Abusing the TypeScript type checker as a spell checker because I just can't help myself.

Take a look →
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.

Take a look →