compsoc-edinburgh / betterinformaticsLinks
Welcome to Better Informatics. The student run website for students in the School of Informatics.
☆73Updated 2 weeks ago
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 LaTeX Typesetting Game☆262Updated 10 months ago
- Visual Studio Code extension for Coq☆430Updated last month
- Python client for Moss: A System for Detecting Software Similarity☆409Updated last year
- Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).☆362Updated 4 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
- Online problem-driven learning system☆428Updated this week
- A selection of textbook-like course notes for the Imperial College Computing modules.☆96Updated last year
- 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☆54Updated last year
- A Learning Environment for Theorem Proving with the Coq proof assistant☆414Updated 2 years ago
- University of Edinburgh Programming Club☆58Updated 5 years ago
- The HOL Light theorem prover☆497Updated this week
- amateur translation project of Grothendieck's EGA.☆377Updated 3 months ago
- Detexify Backend written in Haskell☆919Updated 9 years ago
- Tree Proof Generator☆177Updated 2 weeks ago
- Lean Library currently studying for a degree at Imperial College☆230Updated 11 months ago
- Browser extension enhancing the functionality and navigability of McGill.ca☆62Updated last month
- Discover McGill: a graph of interrelated courses at McGill☆35Updated 3 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆538Updated 8 months ago
- The Lean version manager☆470Updated 3 months ago
- Server to host lean games.☆391Updated 2 weeks ago
- Solution to Algebra, Chapter 0☆100Updated last month
- A minimalistic and high-performance SAT solver☆1,137Updated last year
- LaTeX template useful for formatting homework assignments☆20Updated 10 years ago
- ☆355Updated 4 months ago
- Mathematical Components☆666Updated this week
- GPA++ course stats search engine☆13Updated 2 years ago
- ☆234Updated last year
- Latex Symbol Classifier Web Frontend☆838Updated 3 years ago