exoji2e / hashcode-template
☆16Updated 3 years ago
Alternatives and similar repositories for hashcode-template:
Users that are interested in hashcode-template are comparing it to the libraries listed below
- This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!☆12Updated 7 years ago
- Programming exercises for primary and secondary education, in Swedish.☆15Updated 2 years ago
- IMO Grand Challenge for Artificial Intelligence☆45Updated 3 years ago
- Machine Learning for Alignment Bootcamp☆72Updated 2 years ago
- OTIS course management system☆40Updated this week
- Collection of Useful CS Algorithms☆99Updated 8 years ago
- Server to host lean games.☆250Updated last week
- My collection of handouts and lecture notes (finished and unfinished)☆12Updated last year
- Competitive Programming Solutions☆9Updated 3 years ago
- List of resources for learning Category Theory☆250Updated 4 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆235Updated 3 months ago
- Debug and visualize computational geometry problems☆112Updated 2 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 11 months ago
- An automated shell script that compiles and runs a program on a set of test cases provided by the user.☆36Updated 5 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆27Updated 3 years ago
- Catalog Of Math Problems Formalized In Lean☆145Updated this week
- Competitive programming workspace in the cloud, with support for running and testing code☆26Updated 3 years ago
- Olympiad GeoGuessr☆16Updated last week
- repository of competitive programming codes☆3Updated 3 years ago
- An introduction to theorem proving in Lean for the impatient.☆155Updated 3 weeks ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆404Updated this week
- My system for composing blog posts. Example site: http://adityaramesh.com/tufte-blog/posts.html☆41Updated 5 months ago
- Lecture notes from Cambridge maths☆66Updated last year
- The Happy Faces Benchmark☆15Updated last year
- ☆182Updated 2 years ago
- A database app for ring theory☆21Updated last month
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆54Updated 5 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- ☆9Updated 6 years ago
- Scientific computing in Lean 4☆383Updated this week