Quick references to remember how various things work
☆176Jul 15, 2019Updated 7 years ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Links and resources to everything I am looking to study sometime in the future...☆12May 3, 2022Updated 4 years ago
- A bulletproof lazy image loader.☆20Dec 9, 2019Updated 6 years ago
- Typescript & React app demonstrating a Carousel with Formik forms embedded within each stage.☆17Jan 13, 2022Updated 4 years ago
- ⚡ A Guide for the concept of Flexbox and responsive design. Simply set the attributes as you needed and copy the CSS code. 🎉☆39May 7, 2025Updated last year
- my website nbd☆38Mar 25, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- Custom React Hooks for image natural size☆18May 16, 2019Updated 7 years ago
- ☆11Sep 8, 2021Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- Robotics Learning Note☆11Jun 22, 2018Updated 8 years ago
- ☆20Sep 26, 2025Updated last year
- Chef Fundamentals: A Recipe for Automating Infrastructure Udemy course resources including PDF's and code examples☆11Apr 15, 2020Updated 6 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- SQLite viewer for Android/IOS☆14Aug 14, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🌰Seed: A component-first CSS design system.☆10Jan 15, 2022Updated 4 years ago
- Introduce yourself with a GIF☆11Aug 17, 2020Updated 6 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- 🏝️ An MIT undergrad's compilation of useful CS resources☆28Oct 29, 2017Updated 8 years ago
- My personal blog app☆12Jul 22, 2019Updated 7 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 6 years ago
- SharePoint app and script for visually exploring the Office Graph in Office 365☆13Sep 17, 2014Updated 12 years ago
- Numerical eigenvalue/eigenfunction software: PyQt GUI and FEniCS finite elements.☆11Mar 25, 2018Updated 8 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- A fully customizable, DSL-based image picker for Jetpack Compose☆14May 29, 2026Updated 3 months ago
- ☆17Dec 15, 2023Updated 2 years ago
- Smoothly interpolate keyframes☆14May 17, 2019Updated 7 years ago
- ES6 accessible module for MockDate within your Ember application☆15Apr 18, 2023Updated 3 years ago
- ☆17Updated this week
- ☆15Oct 21, 2020Updated 5 years ago
- F* running in the browser☆21Aug 15, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- nest-circuit-breaker☆33Jul 17, 2020Updated 6 years ago
- ☆10May 2, 2025Updated last year
- ☆28Apr 23, 2026Updated 5 months ago
- An example of how to test Svelte components with ava☆10Jul 15, 2022Updated 4 years ago
- ES6 Syntax Basics☆13Apr 17, 2017Updated 9 years ago
- An extension of Formtastic form builder to make building nested and association form extremely simple☆15Jan 18, 2023Updated 3 years ago
- ☆10Dec 28, 2023Updated 2 years ago