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
Sorting:
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆21Jan 24, 2026Updated last month
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Resources related to IIITH courses for learning beyond the courses.☆147Aug 14, 2022Updated 3 years ago
- Distributed Algorithms — Online Textbook☆18Jan 2, 2021Updated 5 years ago
- Resources, by the people, of the people, for the people.☆14Apr 24, 2021Updated 4 years ago
- Lecture notes of the course Analysis On Manifolds☆22Updated this week
- Source code for some notes for the mathematical tripos.☆23Dec 23, 2018Updated 7 years ago
- Contains the Lab Sheets and their Solutions of the Microprocessors And Interfacing Course in BITS Pilani.☆19Jan 6, 2024Updated 2 years ago
- Series of lectures and hands-on tutorials organized to familiarize new lab entrants with the fundamental areas of robotics research.☆42May 2, 2021Updated 4 years ago
- Summer school on programming in Agda☆68Aug 1, 2023Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 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
- A multi-platform file-configurable folder comparison tool with html-reporting written in rust☆12Feb 13, 2026Updated 2 weeks ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Dec 7, 2022Updated 3 years ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆33Apr 22, 2024Updated last year
- A collection of templates and solutions for Competitive Programming in Haskell☆30Nov 18, 2021Updated 4 years ago
- ☆22Dec 3, 2024Updated last year
- Django generic marketplace API☆11Jun 10, 2020Updated 5 years ago
- Coupon System project: SpringBoot & AngularTS☆12Jan 3, 2021Updated 5 years ago
- ☆10Mar 19, 2015Updated 10 years ago
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- embedding MLIR in LEAN☆48Jun 17, 2024Updated last year
- Ivy integration with cdown/clipmenu☆13Feb 2, 2022Updated 4 years ago
- Shiny apps for teaching statistics through simulation☆11Dec 16, 2016Updated 9 years ago
- Provides a wrapper to boot your penn-os on hardware!☆10Dec 7, 2017Updated 8 years ago
- Various and sundry shell scripts used on my system☆21Updated this week
- Yet another parser for the ABC Notation☆11Dec 8, 2025Updated 2 months ago
- test whether SPDX expressions satisfy licensing criteria☆11Jan 7, 2025Updated last year
- responsible Claude Code YOLO☆32Jan 24, 2026Updated last month
- fleuve: langage de programmation non-fonctionnel, potentiellement généraliste et très opiniâtre.☆11Nov 15, 2020Updated 5 years ago
- Replicated the Alpha Go Zero paper but applied it to the game Santorini.☆13Jan 27, 2018Updated 8 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Camera application for Plasma Mobile☆13Updated this week
- A JupyterLab and Jupyter Notebook extension for rendering data with dynamically loaded React components☆12Feb 11, 2017Updated 9 years ago
- ☆12Sep 5, 2022Updated 3 years ago
- To experiment with ligh-weight user threads based on stack copying.☆14Oct 25, 2022Updated 3 years ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago