ImperialCollegeLondon / IUMLinks
Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course
☆19Updated 3 months ago
Alternatives and similar repositories for IUM
Users that are interested in IUM are comparing it to the libraries listed below
Sorting:
- Formalization of "Analysis I" by Terence Tao☆14Updated last month
- It's vanilla-extract with extra flavours (support for React Native Android/iOS/windows/OSX)☆34Updated last year
- A simple React framework built on Bun. Supports React Server Components (RSC).☆260Updated last year
- useEffect - common use cases and alternatives☆43Updated last year
- Experimental browser ide for building typescript libraries.☆49Updated last year
- Lightweight core JavaScript functions.☆32Updated last month
- Now that react compiler has been released, let's write an unofficial alternative version in 20 minutes.☆137Updated last year
- The JavaScript & React Internationalization Framework.☆120Updated this week
- Safari Extension for react-scan (built with Expo)☆37Updated 5 months ago
- Parcel React Server Components Examples☆108Updated 2 months ago
- Maintainable regular expressions for TypeScript and JavaScript.☆133Updated 3 months ago
- 🌲 Collect ordered React render data seamlessly across the server and client.☆82Updated last year
- A miniature model of the Typescript compiler☆34Updated 11 months ago
- Making meal mavens multiply (Mmmm)☆13Updated 11 months ago
- Easiest way to add tips in your react native app.☆31Updated 3 weeks ago
- A very messy React Server Components implementation.☆157Updated last year
- ☆65Updated 2 months ago
- Replicache examples integrating with various frontend frameworks☆14Updated 2 years ago
- MFNG AI SDK Generative UI Demo☆47Updated 9 months ago
- React components for displaying configurable context menus☆97Updated 4 months ago
- ☆29Updated 2 years ago
- Deploy apps directly to TestFlight from the command line using EAS Build and Submit.☆34Updated 3 months ago
- Shiki syntax highlighting for React Native. Zero bridge overhead with native Oniguruma regex engine.☆57Updated 2 weeks ago
- A re-implementation of react☆132Updated 6 months ago
- Embed Bluesky (bsky) posts in your React application.☆61Updated 6 months ago
- Trying to recreate iOS on the web☆20Updated 6 months ago
- Inject an RSC payload into an HTML stream and read it back☆169Updated 3 weeks ago
- AWS-LC Crypto Library for React Native with FIPS enabled by @ospfranco☆20Updated 2 months ago
- [WIP] A JavaScript library for building performant and reliable devtools on the web☆21Updated 2 weeks ago
- ☆14Updated 4 months ago