This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
☆56Jun 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:
- Cambridge Maths Tripos notes☆37Oct 14, 2020Updated 5 years ago
- Handwritten Maths Notes from UCL☆26Nov 11, 2025Updated 4 months ago
- All the resources that I created and used during my A-levels☆46Sep 28, 2025Updated 5 months ago
- Part III Maths notes for 2018-19☆20Aug 8, 2022Updated 3 years ago
- datasets from my cyber security research papers☆10Jan 12, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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 7 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆110Jun 12, 2024Updated last year
- 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
- Beam Anki decks right into your brain!☆11Mar 31, 2020Updated 5 years ago
- Find words in a text that you don't have Anki flashcards for yet☆14Jan 9, 2020Updated 6 years ago
- Simple Anki Add-ons☆13Sep 10, 2020Updated 5 years ago
- run and encode simple register machine programs☆15Aug 22, 2021Updated 4 years ago
- Notes for first year Computing at Imperial College London☆53Feb 13, 2022Updated 4 years ago
- Docker Compose for Stable Diffusion ROCm☆35Oct 10, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Addon: reschedule current reviewer card and siblings☆13Nov 20, 2020Updated 5 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated last year
- A simple dictionary application written in Rust☆14May 9, 2020Updated 5 years ago
- A repo for books by L. V. Tarasov☆13May 27, 2015Updated 10 years ago
- [DEPRECATED] use a single command :PythonSupportInit to initialize python support for neovim.☆25Aug 24, 2020Updated 5 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Metamath in C++☆14Jun 4, 2019Updated 6 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 2 years ago
- ☆24Apr 6, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- VSCode Extension - Proof Assistant for Metamath☆14Jan 10, 2026Updated 2 months ago
- CATAM material in Julia☆21Oct 12, 2021Updated 4 years ago
- My website☆25Dec 22, 2025Updated 3 months ago
- Make/Encode some basic logic puzzles☆18Jul 10, 2024Updated last year
- Notes for the Lectures of Year 2 Computing 2021-22☆42Mar 14, 2023Updated 3 years ago
- annotated dataset of cyber-security related tweets☆22May 10, 2021Updated 4 years ago
- Resolve a nested selector in a PostCSS AST☆13Mar 1, 2026Updated 3 weeks ago
- 64-bit kindlegen for OSX 10.14 and above☆23Mar 25, 2020Updated 6 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆79Jan 14, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Program files from MATLAB Guide, Third Edition☆29Jan 24, 2017Updated 9 years ago
- My work (including official solutions) for CS1101S: Programming Methodology☆20May 6, 2020Updated 5 years ago
- A linter for JS promises that checks for possible Promise.then usage errors.☆48Jun 14, 2014Updated 11 years ago
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- Contains python solutions for the British Informatics olympiad☆24Jun 28, 2024Updated last year
- Sync your Youdao worldlist to Anki☆21Jan 23, 2018Updated 8 years ago
- A web component to render KaTeX expression☆12Nov 17, 2025Updated 4 months ago