Pinned Loading

1. foliopdf foliopdf Public

   Fast, portable PDF editing in Rust and WebAssembly: merge, split, compress, encrypt, stamp, batch presets. MIT.

   Rust 2

2. frostjs frostjs Public

   Deny-by-default capability linter for JavaScript. Frost's capability model, for the browser.

   TypeScript

3. tenet tenet Public

   An independent implementation of the Lean 4 kernel on .NET, and a checker for Lean exports

   C# 7 1

4. leanstudio leanstudio Public

   A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.

   C# 6 1

5. lean-to-dot-net lean-to-dot-net Public

   Prove a function in Lean 4, call it from C#. lean2il re-checks every proof with Tenet, an independent Lean kernel, compiles the kernel terms to .NET IL, and writes the docs from the Lean. With a VS…

   C#

6. tls13-lean tls13-lean Public

   Forked from pb64-lean/tls13-lean

   TLS 1.3 client and server in Lean 4 over HACL* verified cryptographic primitives

   Lean