This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
☆59Jun 19, 2024Updated last year
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:
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- Handwritten Maths Notes from UCL☆27Nov 11, 2025Updated 6 months ago
- Lecture notes from Cambridge maths☆75Feb 1, 2024Updated 2 years ago
- ☆11May 27, 2025Updated 11 months ago
- Anki: Alternative Front End Using QtWebkit☆12Jan 10, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- datasets from my cyber security research papers☆10Jan 12, 2021Updated 5 years ago
- Simple alignment tools for egui☆16Apr 12, 2026Updated last month
- ☆14May 11, 2020Updated 6 years ago
- Telegram bot to help groups keep members accountable for interview preparation. Helps with both question practice and mock interviews.☆12Jun 5, 2024Updated last year
- 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
- LaTeX sources for notes for the maths courses at Cambridge.☆111Jun 12, 2024Updated last year
- An improved Linux input driver for the Wiimote devices.☆15Jan 5, 2026Updated 4 months ago
- Cheatsheets for NUS Computer Science Modules.☆19Dec 19, 2025Updated 5 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Mar 9, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Find words in a text that you don't have Anki flashcards for yet☆14Jan 9, 2020Updated 6 years ago
- Unofficial notes for modules offered in the first year of Computer Science by the University of Warwick☆35Feb 18, 2024Updated 2 years ago
- run and encode simple register machine programs☆15Aug 22, 2021Updated 4 years ago
- Notes for first year Computing at Imperial College London☆54Feb 13, 2022Updated 4 years ago
- ☆14Jul 13, 2023Updated 2 years ago
- this is my stash of notes, cheatsheets and like anything i used or am using, as a compsci student in NUS☆21Aug 3, 2025Updated 9 months ago
- gelfload is Gregor's ELF loader. It is a usermode loader for ELF executables, used for two purposes: 1) Creating ELF environments on othe…☆39Jun 1, 2014Updated 11 years ago
- A simple dictionary application written in Rust☆13May 9, 2020Updated 6 years ago
- A repo for books by L. V. Tarasov☆13May 27, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 2 years ago
- CATAM material in Julia☆21Oct 12, 2021Updated 4 years ago
- Animated Blobs Generator - Create cool animated GIF or SVG shapes for your designs☆28Aug 25, 2022Updated 3 years ago
- My website☆26Dec 22, 2025Updated 5 months ago
- Harvard Fall 2019 Applied Math 207 A Primer and Critique of Prior Networks☆12Dec 22, 2019Updated 6 years ago
- DEPRECATED use https://github.com/ncm2/ncm2-pyclang instead☆30Jul 1, 2018Updated 7 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆43Mar 14, 2023Updated 3 years ago
- annotated dataset of cyber-security related tweets☆22May 10, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lean Theorem Prover plugin for Vim.☆16Oct 24, 2021Updated 4 years ago
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- Resolve a nested selector in a PostCSS AST☆13Mar 1, 2026Updated 2 months ago
- Mathematical notes and papers☆27Jan 22, 2026Updated 4 months ago
- 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
- Example of using Rust code in Parcel☆22Jul 13, 2018Updated 7 years ago