compsoc-edinburgh / betterinformaticsLinks
Welcome to Better Informatics. The student run website for students in the School of Informatics.
☆73Updated 3 weeks ago
Alternatives and similar repositories for betterinformatics
Users that are interested in betterinformatics are comparing it to the libraries listed below
Sorting:
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆52Updated last year
- Unofficial Client for Piazza's Internal API☆206Updated 4 months ago
- A LaTeX Typesetting Game☆260Updated 8 months ago
- Python client for Moss: A System for Detecting Software Similarity☆409Updated last year
- Generate random nonsense math papers☆612Updated 5 years ago
- Detexify Backend written in Haskell☆916Updated 8 years ago
- Investigating the problem of solving wordle in the most efficient way possible☆51Updated 2 years ago
- 🎓📄 The LaTeX file that I used as the base for all my homework in university.☆1,198Updated 2 years ago
- Visual Studio Code extension for Coq☆424Updated last week
- UCLA CS 180☆93Updated 12 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆93Updated last year
- A Learning Environment for Theorem Proving with the Coq proof assistant☆415Updated 2 years ago
- Instructions and license for Detexify's sample data☆286Updated 4 years ago
- A understandable Haskell tracer.☆14Updated 3 years ago
- ☆11Updated 5 years ago
- LaTeX template useful for formatting homework assignments☆20Updated 10 years ago
- Selected solutions to the book Linear Algebra Done Wrong.☆60Updated 10 months ago
- A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.☆20Updated 3 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆767Updated this week
- Solution to Algebra, Chapter 0☆99Updated this week
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆303Updated last year
- Lean 3 Theorem Prover (community fork)☆433Updated 2 years ago
- Source files for https://web.evanchen.cc☆62Updated this week
- A queue to help manage office hours for large courses☆86Updated 2 months ago
- A class for homework assignments written in LaTeX.☆157Updated 4 years ago
- A list of Hanabi strategies☆177Updated 2 weeks ago
- ☆350Updated 3 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 6 months ago
- Latex Symbol Classifier Web Frontend☆834Updated 2 years ago