Latex notes on papers, courses, ideas: Pure math and computer science.
☆67Jul 31, 2023Updated 3 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☆17Jul 3, 2019Updated 7 years ago
- Lecture notes from Cambridge maths☆78Feb 1, 2024Updated 2 years ago
- My tools for CP☆30Aug 15, 2021Updated 5 years ago
- All of my math stuff from grad school.☆54Jan 17, 2018Updated 8 years ago
- Simple broker that handles all message types and participates in markets☆10Apr 10, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This repository contains all the sessions covered during the IIIT-H AI ML course.☆10Aug 30, 2021Updated 5 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- ☆16Oct 14, 2020Updated 6 years ago
- Generalized Multi-View Detection (GMVD) dataset curated using GTA V and Unity. Accepted at WACV 2023 Workshop (Real-World Surveillance: …☆24Jul 31, 2025Updated last year
- Tasty Bits of Several Complex Variables, graduate textbook☆21Sep 28, 2026Updated last month
- ☆15Jan 23, 2026Updated 9 months ago
- Cambridge Maths Tripos notes☆36Oct 14, 2020Updated 6 years ago
- A repository for the EMNLP 2021 paper "Is Information Density Uniform in Task-Oriented Dialogues?" and for the CoNLL 2021 paper "Analysin…☆10Jun 17, 2024Updated 2 years ago
- PyTorch code of our KG-SP method for Compositional Zero-Shot Learning☆12Aug 10, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Local vault for AI agents. Use API keys without exposing raw stored keys to the model.☆18Jun 18, 2026Updated 4 months ago
- ☆13May 17, 2023Updated 3 years ago
- Annotate text with FrameNet frames and arguments.☆12Feb 15, 2023Updated 3 years ago
- How to scale Jitsi to handle 2000+ users across 20 conferences, using terraform + gcp☆18Sep 9, 2020Updated 6 years ago
- Contains the Lab Sheets and their Solutions of the Microprocessors And Interfacing Course in BITS Pilani.☆19Jan 6, 2024Updated 2 years ago
- A pandoc filter that gives amsthm environments a syntax in Markdown, with output in LaTeX and HTML☆22Sep 24, 2026Updated last month
- ☆12Oct 17, 2024Updated 2 years ago
- A home for collaboration on construction of a multilingual FrameNet☆13Oct 20, 2026Updated 2 weeks ago
- ☆15Nov 24, 2018Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Compilation of notes I've written on VIM from a variety of sources, which hopefully showcases at least some of the cool functionality of …☆32Feb 12, 2021Updated 5 years ago
- Tools for scraping and analyzing Reddit☆13Oct 12, 2026Updated 3 weeks ago
- A template for easily building Autonomous Verified Services with WAVS.☆16May 12, 2026Updated 5 months ago
- Macaulay2 web app with support for KaTeX and HTML output☆22Oct 24, 2026Updated last week
- Code for the Paper Learning Hierarchy Aware Features for Reducing Mistake Severity, accepted in ECCV 2022☆15Dec 16, 2022Updated 3 years ago
- ☆11Jul 6, 2024Updated 2 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- ☆16Nov 5, 2020Updated 5 years ago
- ☆17Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A better method learning Math & Stats☆61Mar 15, 2025Updated last year
- Zettelkasten file processor☆10Oct 7, 2020Updated 6 years ago
- An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.☆37Oct 17, 2019Updated 7 years ago
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months ago
- Basically listing out how to get some basic logistics out of the way☆276Jan 26, 2024Updated 2 years ago
- Python library for converting UTF to WX and vice-versa for Indian languages.☆11Jan 17, 2019Updated 7 years ago
- Automatic Differentiation for high-performance stencil loops☆13Mar 25, 2021Updated 5 years ago