Alternatives and similar repositories for lean4-analysis-tao

Users that are interested in lean4-analysis-tao are comparing it to the libraries listed below

• rhinobase / react-bluesky
  Embed Bluesky (bsky) posts in your React application.
  ☆61Updated 6 months ago
• paulshen / paul
  ☆27Updated 2 years ago
• mozzius / demesne
  plc key management app
  ☆18Updated 3 weeks ago
• addyosmani / react-flow
  A React Coverflow component using Scroll-driven Animations
  ☆23Updated 2 months ago
• ImperialCollegeLondon / IUM
  Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course
  ☆19Updated 3 months ago
• jacob-ebey / parcel-plugin-react-router
  Experimental react-router parcel plugins.
  ☆11Updated this week
• KATT / react-server-action-useActionState-useFormState-issues
  Just a repo showcasing some issues with the design of Server Actions / `useActionState` /`useFormState()`
  ☆12Updated last year
• expo / styleguide
  Foundational styles for Expo interfaces.
  ☆54Updated 3 weeks ago
• rehypejs / rehype-twoslash
  plugin to process JavaScript and TypeScript code with `twoslash` and highlight it with `starry-night`
  ☆21Updated 10 months ago
• forge-42 / react-directives-plugin
  Vite plugin that allows you to add react directives to any file
  ☆16Updated 2 weeks ago
• paramsinc / params-app
  The website for params.com, built with Next.js.
  ☆28Updated 5 months ago
• streamplace / atproto-oauth-client-react-native
  @aquareum/atproto-oauth-client-react-native
  ☆20Updated 5 months ago
• EvanBacon / react-scan-safari-extension
  Safari Extension for react-scan (built with Expo)
  ☆37Updated 5 months ago
• IdoPesok / type-safe-paths
  TypeSafePaths is a TypeScript library that provides a type-safe way to manage URL paths and their parameters in a web application. It lev…
  ☆12Updated last year
• shuding / random-branch
  A Raycast plugin to generate random git branch names.
  ☆20Updated 9 months ago
• corasan / zynk
  Manage Expo environment variables, and trigger builds and updates
  ☆13Updated last month
• EvanBacon / expo-static-hermes-demo
  A demo of using Static Hermes with Expo iOS
  ☆20Updated 4 months ago
• polarsource / polar-react-native-starter
  ☆15Updated last month
• alanagoyal / fix-my-email
  this project is an adaptation of nutlope's twitter bio generator - it allows you to paste an email and ask the AI to give you variations …
  ☆10Updated 8 months ago
• christiankaindl / LYTS-website
  Documentation website for the LYTS library
  ☆10Updated 3 years ago
• boazsender / privacy-stack
  A remix.run stack focused on privacy.
  ☆34Updated 7 months ago
• Kudo / expo-devtools-plugin-demo
  A POC project to demonstrate expo-cli devtools plugins with react-native-apollo-devtools-client
  ☆22Updated last year
• jacob-ebey / react-framework
  A theoretical React framework allowing for maximum utilization of the Cloudflare platform.
  ☆35Updated 8 months ago
• chaance / codearea
  A simple, compound React component for editing code in a real field element.
  ☆13Updated 3 years ago
• nandorojo / reanimated-tree-shaking
  A Next.js playground to test Reanimated bundle size.
  ☆24Updated 3 years ago
• ryanflorence / rsc-movies
  ☆43Updated 3 weeks ago
• jacob-ebey / preact-server-components
  ☆20Updated 4 months ago
• nderscore / prettier-plugin-nativewind
  prettier-plugin-tailwindcss fork with support for NativeWind & more
  ☆11Updated 2 years ago
• jaredpalmer / nextjs-route-handler-email
  Experimenting with react.email and Next.js 13 Route Handlers
  ☆16Updated 2 years ago
• ctate / openui
  AI-Native Specification for UIs
  ☆33Updated 4 months ago