This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
☆60Jun 19, 2024Updated 2 years ago
Alternatives and similar repositories for step-resources
Users that are interested in step-resources are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cambridge Maths Tripos notes☆36Oct 14, 2020Updated 5 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- ☆11May 27, 2025Updated last year
- A gui for lindbergh-loader☆13Mar 9, 2025Updated last year
- datasets from my cyber security research papers☆10Jan 12, 2021Updated 5 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.
- 🔴 Live, in-depth statistics of Reddit posts.☆12Nov 17, 2024Updated last year
- ☆14May 11, 2020Updated 6 years ago
- This is a book in Romanian on algorithms and programming contest strategies. It is written in LaTeX and TikZ. The original dates from 199…☆10Mar 31, 2018Updated 8 years ago
- Utensil's Zettelkasten-style forest of evergreen notes on math and tech.☆12Updated this week
- ☆15May 3, 2024Updated 2 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆112Jun 12, 2024Updated 2 years ago
- Notes for first year Computing at Imperial College London☆54Feb 13, 2022Updated 4 years ago
- run and encode simple register machine programs☆16Aug 22, 2021Updated 4 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆53Apr 11, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Book about using Lean with How To Prove It☆28Jun 10, 2026Updated 2 months ago
- ☆15Oct 15, 2019Updated 6 years ago
- ☆13Jul 10, 2025Updated last year
- Addon: reschedule current reviewer card and siblings☆14Nov 20, 2020Updated 5 years ago
- 🍭 A Solidity library for prime field arithmetic☆16Jan 31, 2024Updated 2 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- An improved Linux input driver for the Wiimote devices.☆17Jan 5, 2026Updated 7 months ago
- [DEPRECATED] use a single command :PythonSupportInit to initialize python support for neovim.☆25Aug 24, 2020Updated 5 years ago
- ☆23Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A repo for books by L. V. Tarasov☆13May 27, 2015Updated 11 years ago
- Proof-of-concept command line interface for managing Anki decks.☆23Jan 13, 2019Updated 7 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 3 years ago
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated 7 months ago
- spinningnumbers.org☆15Mar 24, 2026Updated 4 months ago
- DEPRECATED use https://github.com/ncm2/ncm2-pyclang instead☆30Jul 1, 2018Updated 8 years ago
- My website☆26Jul 23, 2026Updated 3 weeks ago
- Make/Encode some basic logic puzzles☆20Jul 10, 2024Updated 2 years ago
- annotated dataset of cyber-security related tweets☆22May 10, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆101Mar 23, 2024Updated 2 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆87Apr 1, 2026Updated 4 months ago
- this is my stash of notes, cheatsheets and like anything i used or am using, as a compsci student in NUS☆28Jul 4, 2026Updated last month
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- Program files from MATLAB Guide, Third Edition☆29Jan 24, 2017Updated 9 years ago
- RealAnalysisGame☆68May 22, 2026Updated 2 months ago