csmberkeley / csm-61aLinks
CSM 61A Worksheets in Latex
☆13Updated 3 weeks ago
Alternatives and similar repositories for csm-61a
Users that are interested in csm-61a are comparing it to the libraries listed below
Sorting:
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Updated 5 months ago
- A backend for the CSUA interblags.☆23Updated 3 weeks ago
- Source files for https://web.evanchen.cc☆62Updated this week
- ☆14Updated 7 years ago
- Olympiad problem database☆54Updated this week
- An online math contest platform☆22Updated 2 months ago
- ☆14Updated 4 years ago
- OTIS course management system☆45Updated last week
- UC Berkeley enrollment info☆71Updated this week
- The Open Problems Project☆40Updated 6 months ago
- Competitive Programming Solutions☆10Updated 4 years ago
- A community database for the problems on the erdosproblems.com site☆123Updated last week
- DrRacket Tools for CS 135 course at UWaterloo☆26Updated 3 years ago
- A browser extension to convert TeX to Unicode in browser inputs.☆64Updated 4 months ago
- PolytopeWalk: fast sparse and dense random walks on polytope, with C++ backend and Python interface☆13Updated 5 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆20Updated 3 weeks ago
- Listing of online math seminars☆43Updated 2 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- C++ library for semigroups and monoids☆63Updated 2 weeks ago
- 🤖 Open-source Discord bot that aims to aid up-and-coming Scibowlers with randomly generated (non-stock) rounds and training. It has man…☆27Updated last year
- A tool for deductive verification of Python programs based on Dafny☆25Updated 4 years ago
- Optimised multi-node MPI sorting algorithms in Julia☆10Updated last year
- Olympiad GeoGuessr☆18Updated this week
- orz☆15Updated 3 years ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆116Updated this week
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 6 months ago
- A list of links which I've found useful during my time at UWaterloo studying Software Engineering☆132Updated 2 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 3 years ago
- A sample mathematics paper to illustrate basic ideas in LaTeX☆11Updated last year