Latex notes on papers, courses, ideas: Pure math and computer science.
☆65Jul 31, 2023Updated 2 years ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Theorems, Definitions, Papers, Research☆18Jul 3, 2019Updated 6 years ago
- Source code for some notes for the mathematical tripos.☆23Dec 23, 2018Updated 7 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆16Oct 14, 2020Updated 5 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆20Mar 29, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cambridge Maths Tripos notes☆37Oct 14, 2020Updated 5 years ago
- Lecture notes from Cambridge maths☆73Feb 1, 2024Updated 2 years ago
- provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML☆22Jan 26, 2022Updated 4 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Apr 22, 2016Updated 9 years ago
- My typed-up math lecture notes☆20Jun 7, 2022Updated 3 years ago
- Summer school on programming in Agda☆69Aug 1, 2023Updated 2 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Mar 22, 2026Updated 3 weeks ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Dec 7, 2022Updated 3 years ago
- Realtime Software Rasterizer☆35Aug 15, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Variable-length, lexicographically-sortable hex format for uint64 values.☆13Dec 24, 2020Updated 5 years ago
- a simple operating system☆10May 10, 2015Updated 10 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆110Jun 12, 2024Updated last year
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 4 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆31Nov 18, 2021Updated 4 years ago
- Framework for reading and writing to binary files☆18Jul 13, 2019Updated 6 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆18Aug 16, 2020Updated 5 years ago
- A simple CSS parser and inliner in Go☆12Dec 12, 2018Updated 7 years ago
- ☆71Oct 29, 2014Updated 11 years ago
- ☆13May 3, 2020Updated 5 years ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated last week
- A simple 8-bit virtual stack machine☆16Aug 30, 2014Updated 11 years ago
- Minimal MBrace setup to test out the waters, with as few dependencies as possible☆11Mar 18, 2018Updated 8 years ago
- LispWorks Configuration files☆13Jul 23, 2017Updated 8 years ago
- Solving Competition Geometry Problems in Lean☆35Aug 26, 2025Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 years ago
- ☆22Dec 3, 2024Updated last year
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Source code of the www.tryjoinads.org project (web page only)☆17Nov 6, 2013Updated 12 years ago
- ☆21Mar 5, 2017Updated 9 years ago
- ☆11Jul 8, 2020Updated 5 years ago