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☆154Apr 30, 2024Updated 2 years ago
- Differentiation through cone programs☆118May 20, 2026Updated 3 weeks ago
- Interactive Coq Proofs in Vim☆322May 16, 2026Updated 3 weeks ago
- Visual Studio Code extension for Coq☆455Jun 1, 2026Updated last week
- Important concepts in numerical linear algebra and related areas☆809Jan 13, 2024Updated 2 years ago
- 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.
- Optimization functions for Julia☆1,201Updated this week
- A package for creating slides in Typst☆1,576Feb 28, 2026Updated 3 months ago
- Touying is a powerful package for creating presentation slides in Typst.☆2,176Updated this week
- Add/change/delete surrounding delimiter pairs with ease. Written with in Lua.☆4,224May 2, 2026Updated last month
- Offline, privacy-first grammar checker. Fast, open-source, Rust-powered☆10,761Updated this week
- ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust☆14,456Updated this week
- Official inference library for Mistral models☆10,813Apr 20, 2026Updated last month
- 🔥Highlighting the top ML papers every week.☆12,532Updated this week
- A modern alternative to ls☆22,207May 31, 2026Updated last 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.
- ✨ Making your shell magical☆30,158Updated this week
- Open-source KVM software☆30,616Jun 22, 2024Updated last year
- If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.☆33,390Updated this week
- Jan is an open source alternative to ChatGPT that runs 100% offline on your computer.☆42,869Jun 2, 2026Updated last week
- Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see READ…☆33,804Updated this week
- 500 AI Machine learning Deep learning Computer vision NLP Projects with code☆34,401Aug 1, 2025Updated 10 months ago
- Truly independent web browser☆64,011Updated this week
- Unsloth Studio is a web UI for training and running open models like Gemma 4, Qwen3.6, DeepSeek, gpt-oss locally.☆66,153Updated this week
- Simple HTML5 Charts using the <canvas> tag☆67,480May 27, 2026Updated 2 weeks 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.
- LLM inference in C/C++☆115,667Updated this week
- Promise based HTTP client for the browser and node.js☆109,073Updated this week
- A collective list of free APIs☆440,562Updated this week
- Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troublesh…☆178,036May 7, 2026Updated last month
- The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.☆174,308Updated this week
- A book series (2 published editions) on the JS language.☆184,507Feb 15, 2026Updated 3 months ago
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆356,521Updated this week
- Show-and-Fool: Adversarial Examples for Image Captioning task☆56Jul 6, 2021Updated 4 years ago
- Source code for the Mathematics in Lean tutorial.☆197Updated this week
- 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.
- Cellular automata search program☆26Jul 7, 2022Updated 3 years ago
- ☆44Apr 27, 2026Updated last month
- A pytorch implementation of Google's paper <Towards Accurate Multi-person Pose Estimation in the Wild>☆104Apr 15, 2019Updated 7 years ago
- Typst sublime text syntax highlighting☆21May 12, 2026Updated last month
- 📕 哔哩哔哩大学，收集哔哩哔哩的学习资源☆12Oct 15, 2023Updated 2 years ago
- ☆11May 13, 2024Updated 2 years ago
- Foundational tooling for handling collections of parameters in models☆75Feb 26, 2024Updated 2 years ago