Typed up LaTeX notes for use in exams for various UoE courses I'm taking
☆10May 22, 2026Updated 5 months ago
Alternatives and similar repositories for leon-latex-notes
Users that are interested in leon-latex-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:
- Creates a Dwarf Fortress map from exported xml files.☆13Mar 5, 2024Updated 2 years ago
- PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (…☆12Apr 9, 2025Updated last year
- A historically accurate Enigma Machine simulator written in Python 3.☆15Dec 30, 2025Updated 10 months ago
- Dynamic & lightweight C++ encryption algorithm using a password or not, changing the encrypted string each time it is submitted even if t…☆15Nov 25, 2019Updated 6 years ago
- Code to accompany the book Semidefinite Programming in Quantum Information Science☆10Jun 20, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Python source code for Spotify playback controls from Raspberry Pi☆13Apr 14, 2023Updated 3 years ago
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆20Jul 11, 2026Updated 3 months ago
- Repository for my GitOps manifest files and documentation. Used in production (at home) with Talos Linux and FluxCD.☆10Jul 25, 2026Updated 3 months ago
- UCLAIS ML Tutorial Series 2023-2024 Official Repository.☆16Jan 28, 2024Updated 2 years ago
- www☆17Aug 13, 2026Updated 2 months ago
- FreeCAD Macro to generate design timelapse gifs☆14Oct 22, 2024Updated 2 years ago
- ☆15Aug 7, 2021Updated 5 years ago
- ☆10Jul 18, 2024Updated 2 years ago
- This is a cheat sheet for using SQLAlchemy. It demonstrates the most common usages of the ORM. Work in progress.☆15Oct 17, 2020Updated 6 years ago
- 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.
- bosonic quantum circuits☆19Jul 13, 2025Updated last year
- ☆19Aug 24, 2021Updated 5 years ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆36May 2, 2026Updated 5 months ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆25Jul 27, 2026Updated 3 months ago
- ☆19Updated this week
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆15Jun 26, 2026Updated 4 months ago
- ECON2125/8013 course files☆20May 27, 2015Updated 11 years ago
- quantum circuit systems☆20Jul 13, 2025Updated last year
- My dotfiles repo☆23Dec 22, 2021Updated 4 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.
- Better Mathematics is a collaborative platform where staff and students of all years can share academic resources for courses offered by …☆14Dec 7, 2023Updated 2 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆33Dec 24, 2021Updated 4 years ago
- Quantum application notebooks for our cloud-accessible platform Ascella☆14Jan 26, 2024Updated 2 years ago
- A collection of NixOS modules covering hardware quirks.☆24Oct 8, 2026Updated 3 weeks ago
- A Python package supporting geospatial grid indexing and interaction with Ordnance Survey's British National Grid index system☆20Jan 26, 2026Updated 9 months ago
- Quantum Computing Experimentation with Amazon Braket, published by Packt☆21Feb 22, 2025Updated last year
- A lightweight animated wallpaper program☆34Feb 18, 2023Updated 3 years ago
- High-level HTTP clients for Python.☆18Oct 10, 2026Updated 3 weeks ago
- Replication and extension of paper on Conditional Value at Risk (CoVaR) by Adrian and Brunnermeier.☆26Nov 14, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆31Aug 5, 2023Updated 3 years ago
- ☆16Dec 18, 2025Updated 10 months ago
- MSBuild task that merges selected referenced assemblies into your project's output assembly at build time.☆11Apr 20, 2026Updated 6 months ago
- Double Descent Curve with Optical Random Features☆30Jun 22, 2022Updated 4 years ago
- The first and only Game Maker Studio 2 DELTARUNE Battle Engine repository.☆12Apr 3, 2020Updated 6 years ago
- ☆20Jun 23, 2024Updated 2 years ago
- golang tool for #gitflow #semanticversioning #semver #git #cli #versioncontrol #developertool☆16Jun 21, 2023Updated 3 years ago