a fork of the atproto "statusphere" demo that uses vite/react
Lean Theorem Prover MCP
My solutions to Tao's Analysis I, formalized in Lean
[No Maintenance Intended] A function, a component and a mixin for React pure rendering
最近更新: 1天前Prepack is a partial evaluator for JavaScript. Prepack rewrites a JavaScript bundle, resulting in JavaScript code that executes more efficiently.
最近更新: 1天前