compsoc-edinburgh / betterinformaticsLinks
Welcome to Better Informatics. The student run website for students in the School of Informatics.
☆74Updated last week
Alternatives and similar repositories for betterinformatics
Users that are interested in betterinformatics are comparing it to the libraries listed below
Sorting:
- Unofficial Client for Piazza's Internal API☆207Updated 6 months ago
- A understandable Haskell tracer.☆14Updated 3 years ago
- A microservice queue for holding open office hours☆86Updated 9 months ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆55Updated last year
- Visual Studio Code extension for Coq☆432Updated 2 months ago
- Python client for Moss: A System for Detecting Software Similarity☆408Updated last year
- A LaTeX Typesetting Game☆261Updated 10 months ago
- LaTeX template useful for formatting homework assignments☆20Updated 11 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆95Updated last year
- Various interesting datasets, mostly data from The University of Illinois☆191Updated 2 weeks ago
- 🎓📄 The LaTeX file that I used as the base for all my homework in university.☆1,201Updated 3 years ago
- 🏫 Official course planning platform for National University of Singapore.☆643Updated this week
- Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).☆362Updated 4 years ago
- some lecture notes from the University of Waterloo.☆95Updated 10 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
- Student-run wiki for students interested in computer science at Cornell University☆99Updated 2 years ago
- ☆23Updated 4 years ago
- Solutions to Algebra, by Michael Artin.☆35Updated 9 years ago
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆414Updated 2 years ago
- ☆234Updated last year
- A class for homework assignments written in LaTeX.☆158Updated 4 years ago
- A compilation of blogs by Waterloo students and alumni☆65Updated 5 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆538Updated 8 months ago
- Online problem-driven learning system☆442Updated this week
- ☆57Updated 2 years ago
- ☆14Updated 10 years ago
- A queue to help manage office hours for large courses☆86Updated 4 months ago
- Program Synthesis Course☆265Updated last year
- Course management service that enables auto-graded programming assignments.☆804Updated this week