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
Sorting:
- PlusCal Cheat Sheet by Stephan Merz☆25Sep 27, 2024Updated last year
- Software Foundations☆152Apr 30, 2024Updated last year
- Interactive Coq Proofs in Vim☆319Feb 21, 2026Updated last month
- Visual Studio Code extension for Coq☆442Mar 7, 2026Updated 2 weeks ago
- Nvidia driver latest to 396 series AIO installer☆924Mar 13, 2026Updated last week
- A package for creating slides in Typst☆1,535Feb 28, 2026Updated 3 weeks ago
- Touying is a powerful package for creating presentation slides in Typst.☆1,970Updated this week
- Add/change/delete surrounding delimiter pairs with ease. Written with in Lua.☆4,138Mar 7, 2026Updated 2 weeks ago
- Offline, privacy-first grammar checker. Fast, open-source, Rust-powered☆10,085Updated this week
- Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆14,679Updated this week
- dev tools, env vars, task runner☆25,747Updated this week
- A modern alternative to ls☆20,673Updated this week
- Linux / Windows / macOS 跨平台 V2Ray 客户端 | 支持 VMess / VLESS / SSR / Trojan / Trojan-Go / NaiveProxy / HTTP / HTTPS / SOCKS5 | 使用 C++ / Qt 开…☆16,992Oct 27, 2025Updated 4 months ago
- ✨ Making your shell magical☆28,672Updated this week
- Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek, Qwen, Llama, Gemma, TTS 2x faster with 70% less VRAM.☆54,096Updated this week
- A collective list of free APIs☆411,278Feb 19, 2026Updated last month
- 🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal model…☆158,060Updated this week
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆350,970Mar 13, 2026Updated last week
- Deploy a Production Ready Kubernetes Cluster☆18,349Updated this week
- ☆186Feb 28, 2025Updated last year
- Small Tool written based on chaos from projectdiscovery.io☆177Oct 19, 2024Updated last year
- Repository for paper "Each Fake News is Fake in its Own Way: An Attribution Multi-Granularity Benchmark for Multimodal Fake News Detectio…☆40Mar 19, 2025Updated last year
- Kubernetes controller for GitHub Actions self-hosted runners☆6,118Updated this week
- Velocity minecraft proxy plugin.☆38Jan 14, 2026Updated 2 months ago
- Public repository of the Micro QuickJS Javascript Engine☆5,645Jan 15, 2026Updated 2 months ago
- Web application server for Perl6☆18Apr 30, 2018Updated 7 years ago
- Review ISOs of the Manjaro Community Editions☆18Mar 12, 2026Updated last week
- The authorization Gem for Ruby on Rails.☆5,668Jan 27, 2025Updated last year
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- An abstract interface for automatic differentiation.☆139Jan 5, 2025Updated last year
- Vue Composition API Demo☆12May 3, 2021Updated 4 years ago
- This repository is retired software☆14Oct 29, 2015Updated 10 years ago
- Simple atomic state management for React. No providers, no boilerplate.☆20Aug 30, 2025Updated 6 months ago
- The full set of microservices for Fleetman without needing a Euerka Registry.☆11Aug 1, 2024Updated last year
- 1.12.2 crystalpvp modification (especially for non strict servers like cc)☆58Sep 29, 2024Updated last year
- Delphi Property Editor for TStrings supporting formatted languages with syntax highlight☆27Sep 19, 2021Updated 4 years ago
- Generates permutations, alterations and mutations of subdomains. Auto Resolve what we find.☆11Dec 8, 2020Updated 5 years ago
- PE rebuilder, based on yoda's realigndll☆12Oct 1, 2011Updated 14 years ago
- all of the gcr.io docker image mirror☆1,393Aug 8, 2024Updated last year