Master 1 Informatique (2022-2023) at Université Paul Sabatier - public sharing of notes taken from classes
☆19Sep 6, 2023Updated 2 years ago
Alternatives and similar repositories for notesMaster1
Users that are interested in notesMaster1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Software Foundations☆152Apr 30, 2024Updated last year
- Differentiation through cone programs☆118Jan 26, 2026Updated 2 months ago
- Visual Studio Code extension for Coq☆446Updated this week
- A package for creating slides in Typst☆1,545Feb 28, 2026Updated last month
- Touying is a powerful package for creating presentation slides in Typst.☆2,006Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Make Zotero effective for us LaTeX holdouts☆6,525Updated this week
- A modern LaTeX Beamer theme☆6,803Nov 23, 2022Updated 3 years ago
- ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust☆13,333Updated this week
- AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.☆12,184Apr 6, 2026Updated last week
- Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆14,843Updated this week
- Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.☆11,956Apr 3, 2026Updated last week
- A desktop app for inspecting your React JS and React Native projects. macOS, Linux, and Windows.☆15,541Updated this week
- dev tools, env vars, task runner☆26,476Updated this week
- Animate elements as they scroll into view.☆22,517Apr 5, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ✨ Making your shell magical☆28,987Apr 4, 2026Updated last week
- A post-modern modal text editor.☆43,890Updated this week
- JSON for Modern C++☆49,334Updated this week
- Realtime application framework (Node.JS server)☆63,011Apr 2, 2026Updated last week
- Unsloth Studio is a web UI for training and running open models like Qwen3.5, Gemma 4, DeepSeek, gpt-oss locally.☆59,774Updated this week
- Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGad…☆60,180Updated this week
- Simple HTML5 Charts using the <canvas> tag☆67,337Feb 28, 2026Updated last month
- Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.☆64,842Jan 22, 2026Updated 2 months ago
- Promise based HTTP client for the browser and node.js☆109,052Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal model…☆159,060Updated this week
- A book series (2 published editions) on the JS language.☆184,520Feb 15, 2026Updated last month
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆352,730Updated this week
- ☆15Jan 23, 2023Updated 3 years ago
- Digital, never Compaq or HP, Alpha AXP Emulator☆50Sep 11, 2019Updated 6 years ago
- Optimizing Source and Sensor Placement for Sound Field Control☆16Mar 27, 2023Updated 3 years ago
- ☆55May 5, 2022Updated 3 years ago
- Konva.js is an HTML5 Canvas JavaScript framework that extends the 2d context by enabling canvas interactivity for desktop and mobile appl…☆14,319Updated this week
- 一起来数三角形吧！☆10Jun 27, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 🔊 Text-Prompted Generative Audio Model☆39,076Aug 19, 2024Updated last year
- ☆17Jan 28, 2026Updated 2 months ago
- An energy-efficient RISC-V floating-point compute cluster.☆127Updated this week
- A Julia package for representing infinity in all its forms☆20Mar 31, 2026Updated last week
- Dead Simple Distributed Computing for Clojure☆35Apr 24, 2013Updated 12 years ago
- Introspectable Contracts Programming for JavaScript☆13Jan 6, 2017Updated 9 years ago
- 24/7 background audio recording for Android☆19Jun 3, 2024Updated last year