Cours de Bachelor : Outils Formels de Modélisation
☆18Sep 24, 2018Updated 7 years ago
Alternatives and similar repositories for outils-formels-modelisation
Users that are interested in outils-formels-modelisation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HES-SO//Master MSE thesis template☆34Sep 26, 2023Updated 2 years ago
- Ensemble Adversarial Training on MNIST☆122Jun 20, 2017Updated 8 years ago
- Coding interview tips☆473Nov 7, 2022Updated 3 years ago
- WIT (Wikipedia-based Image Text) Dataset is a large multimodal multilingual dataset comprising 37M+ image-text sets with 11M+ unique imag…☆1,102Sep 27, 2024Updated last year
- 📀 Unlimited Google Drive Storage by splitting binary files into base64☆4,370Nov 2, 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.
- A repository with 3 tools for pwn'ing websites with .git repositories available☆4,132Jun 14, 2023Updated 2 years ago
- Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.☆12,262Jan 10, 2026Updated 3 months ago
- A security tool for multithreaded information gathering and service enumeration whilst building directory structures to store results, al…☆2,189Dec 11, 2022Updated 3 years ago
- This script is intended to automate your reconnaissance process in an organized fashion☆2,030Aug 19, 2021Updated 4 years ago
- A memory profiler for Linux.☆4,773Jul 28, 2023Updated 2 years ago
- An asynchronous, collaborative post-exploitation agent powered by Python and .NET's DLR☆2,335Dec 6, 2023Updated 2 years ago
- Bash and Zsh shell history TUI suggest box - easily view, navigate, search and manage your command history.☆4,477Feb 6, 2026Updated 2 months ago
- Produce redistributable builds of Python☆3,972Apr 2, 2026Updated last week
- A Ruby gem that beautifies the terminal's ls command, with color and font-awesome icons.☆5,112Mar 20, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Validation of best practices in your Kubernetes clusters☆3,355Apr 1, 2026Updated last week
- Caddy as a reverse proxy for Docker☆4,373Mar 31, 2026Updated last week
- Receive notifications when an image is updated on a Docker registry☆4,564Updated this week
- Server-Side Template Injection and Code Injection Detection and Exploitation Tool☆4,135Apr 21, 2024Updated last year
- "Can I take over XYZ?" — a list of services and how to claim (sub)domains with dangling DNS records.☆5,618Feb 8, 2025Updated last year
- A Tool for Domain Flyovers☆5,921May 22, 2022Updated 3 years ago
- A cheat sheet that contains common enumeration and attack methods for Windows Active Directory.☆6,565Jan 18, 2026Updated 2 months ago
- A lightweight TUI (ncurses-like) display manager for Linux and BSD (mirror of https://codeberg.org/fairyglade/ly).☆7,160Apr 1, 2026Updated last week
- the only cheat sheet you need☆41,179Dec 23, 2025Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 🦎 a tool to build and deploy software on many servers 🦎☆10,826Updated this week
- An open source multi-tool for exploring and publishing data☆10,931Mar 31, 2026Updated last week
- Highly customizable Wayland bar for Sway and Wlroots based compositors.☆11,043Updated this week
- The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse enginee…☆12,818Updated this week
- A fast TCP/UDP tunnel over HTTP☆15,840Updated this week
- Lightweight server monitoring with historical data, docker stats, and alerts.☆20,712Updated this week
- Terminal JSON viewer & processor☆20,386Mar 28, 2026Updated last week
- The leading data integration platform for ETL / ELT data pipelines from APIs, databases & files to data warehouses, data lakes & data lak…☆21,014Updated this week
- D2 is a modern diagram scripting language that turns text to diagrams.☆23,380Oct 14, 2025Updated 5 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Metasploit Framework☆37,850Updated this week
- Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io☆21,217Updated this week
- A fancy, easy-to-use and reactive self-hosted docker compose.yaml stack-oriented manager☆22,723Jan 21, 2026Updated 2 months ago
- Sample cloud-first application with 10 microservices showcasing Kubernetes, Istio, and gRPC.☆20,040Mar 30, 2026Updated last week
- BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more☆22,328Mar 31, 2026Updated last week
- A game theoretic approach to explain the output of any machine learning model.☆25,242Updated this week
- Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client …☆32,967Apr 2, 2026Updated last week