vEnhance / 1802Links
MIT 18.02 lecture notes on multivar
☆17Updated this week
Alternatives and similar repositories for 1802
Users that are interested in 1802 are comparing it to the libraries listed below
Sorting:
- Basic Analysis, undergraduate real analysis textbook☆81Updated last week
- Typst-setting finite automata with CeTZ.☆114Updated 4 months ago
- An academic poster template for Typst☆145Updated 2 years ago
- My master thesis for the MSc. in Photonics engineering at Ghent University☆53Updated 5 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆303Updated 10 months ago
- A community database for the problems on the erdosproblems.com site☆81Updated this week
- Effortlessly create quantum circuit diagrams in Typst.☆91Updated last month
- Source files for https://web.evanchen.cc☆58Updated this week
- Notes on Diffy Qs, a textbook for differential equations☆75Updated this week
- A package for marking and annotating in math blocks in Typst.☆53Updated 5 months ago
- ☆84Updated last week
- Create simple static slides with Typst☆118Updated 4 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- Listing of online math seminars☆43Updated 2 weeks ago
- An implementation of numbered theorem environments in typst☆260Updated 3 months ago
- A high efficient random number generator in Typst☆28Updated 5 months ago
- ☆170Updated 7 months ago
- 3D Plotting Package for Typst using CeTZ. Similar functionality to pgfplots for LaTeX.☆74Updated 3 weeks ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆33Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆76Updated 2 months ago
- 📃 A compact guide to help you write professional LaTeX documents☆58Updated 2 years ago
- A Rust crate for parsing and writing BibTeX and BibLaTeX files.☆157Updated 2 weeks ago
- Theorem Proving in Lean 4☆211Updated last month
- A typst wasm plugin to use graphviz directly inside documents☆131Updated 3 weeks ago
- Algorithm pseudocode typesetting library for Typst☆41Updated 2 weeks ago
- A library for typesetting mathematical theorems in typst.☆18Updated 7 months ago
- HTML version of pgf-tikz documentation☆50Updated last month
- Typst Plotting Library☆88Updated 2 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated last month
- Instant Pdf Referencing☆69Updated 3 years ago