Lean Theorem Prover MCP
My solutions to Tao's Analysis I, formalized in Lean
a fork of the atproto "statusphere" demo that uses vite/react
An opinionated boilerplate for React libraries including ESLint, Mocha, Babel, Webpack and an example powered by Webpack Dev Server and React Hot L...
最近更新: 7天前Example isomorphic react.js app with react-router & react-hot-loader
最近更新: 7天前This repo demonstrates a situation where it is slower to use React hooks than classes
最近更新: 7天前Quickstart for building React single page apps using Coffeescript, Gulp, Webpack, and React-Router
最近更新: 7天前