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
- Lecture notes of the course Analysis On Manifolds☆22Updated this week
- ☆16Oct 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
- Resources, by the people, of the people, for the people.☆14Apr 24, 2021Updated 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
- Contains the Lab Sheets and their Solutions of the Microprocessors And Interfacing Course in BITS Pilani.☆18Jan 6, 2024Updated 2 years ago
- Summer school on programming in Agda☆68Aug 1, 2023Updated 2 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Dec 7, 2022Updated 3 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Handwritten Maths Notes from UCL☆26Nov 11, 2025Updated 4 months ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- a simple operating system☆10May 10, 2015Updated 10 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- a programming language with channels and coroutines/threads☆10Jul 5, 2024Updated last year
- 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
- Starter application demonstrating how to connect a NestJS API to a PlanetScale MySQL database☆11Apr 12, 2023Updated 2 years ago
- Framework for reading and writing to binary files☆18Jul 13, 2019Updated 6 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 8 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Convert JSON schemas into Nickel contracts☆40Mar 15, 2026Updated last week
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆26Jun 6, 2023Updated 2 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆47Jul 16, 2014Updated 11 years ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 14 years ago
- Template for quantum research projects using Q#, Python, and LaTeX☆12Apr 30, 2020Updated 5 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆79Mar 7, 2026Updated 2 weeks ago
- ☆71Oct 29, 2014Updated 11 years ago
- ☆13May 3, 2020Updated 5 years ago
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- A simple 8-bit virtual stack machine☆16Aug 30, 2014Updated 11 years ago
- An example integration between Flask and the Preact front end library.☆13Jun 20, 2022Updated 3 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- LispWorks Configuration files☆13Jul 23, 2017Updated 8 years ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.☆43Jun 17, 2024Updated last year