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:
- VoxLogicA: the "Voxel-based Logical Analyser", is an interpreter of a declarative language, inspired by spatial logics, to analyse images…☆19May 7, 2026Updated 3 months ago
- Runs given command as screensaver☆12Feb 20, 2017Updated 9 years ago
- A simple Blender extension for creating audio visualizers☆22Dec 26, 2025Updated 8 months ago
- A tool for configuring and automating HidGuardian.☆14Sep 16, 2021Updated 4 years ago
- Kotlin Android demo showing how coroutines scale to 100k tasks while threads hit OS limits after only a few hundred.☆18Jul 12, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The EPFL Dojo (x-platform) app☆11Jan 5, 2018Updated 8 years ago
- Official challenge and writeup repository for RITSEC CTF 2018.☆16Nov 30, 2018Updated 7 years ago
- Android library of reusable graphical components☆19Jun 10, 2025Updated last year
- ☆14Dec 8, 2022Updated 3 years ago
- Maude Formal Environment☆17Feb 17, 2026Updated 6 months ago
- Captures the heartbeat of your flow metrics and predicts future trends.☆12Apr 18, 2025Updated last year
- Unity indicator to simulate keyboard lock keys LEDs (Caps Lock, Num Lock and Scroll Lock)☆18Dec 5, 2025Updated 8 months ago
- Koa request server handler for Remix☆11Mar 13, 2024Updated 2 years ago
- A Hiphop v. Literature project to demonstrate using NLP that Hip-Hop is a form of literature and rap artists are literary geniuses.☆13Nov 13, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Mar 1, 2023Updated 3 years ago
- ☆14Jun 4, 2025Updated last year
- AI Comic Factory - Generate Comics with AI, 🦙 Llama for Scalable Anime Generation, Image Generation, Comic Generation and Game Generatio…☆21Nov 9, 2024Updated last year
- A Python library for converting REST API specifications into MCP (Model Context Protocol) tools for AI agents.☆16May 28, 2026Updated 3 months ago
- Puppet module for SLURM client and server☆15Feb 11, 2022Updated 4 years ago
- Simple XML Library for TypeScript (JavaScript)☆19Feb 16, 2025Updated last year
- 📖 Read articles from your favourite website based on how much time you have☆21Oct 7, 2023Updated 2 years ago
- LightSide Workbench☆25May 19, 2026Updated 3 months ago
- My 100% Nix Homelab setup☆21Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Using electrical muscle stimulation to create the missing haptics in Augmented Reality☆27Apr 15, 2018Updated 8 years ago
- Python Zilog Z80 CPU Emulator☆30Aug 20, 2024Updated 2 years ago
- CovidCertificate SDK for iOS☆19Dec 12, 2022Updated 3 years ago
- Algorithms and Data Structures in Scala☆28Jul 30, 2024Updated 2 years ago
- HES-SO//Master MSE thesis template☆34Sep 26, 2023Updated 2 years ago
- ☆21Jul 4, 2023Updated 3 years ago
- A little boilerplate for making a Windows and OSX Screensaver using HTML5 and JS with Webkit☆54Feb 4, 2021Updated 5 years ago
- C-API for tauri written in Rust☆28Dec 20, 2024Updated last year
- A WYSIWYG text editor written in Kotlin for Android. Based on HTML contenteditable. Used in the Infomaniak Mail application.☆42Updated 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.
- ☆22Dec 13, 2022Updated 3 years ago
- Using Either http://github.com/aws/aws-lambda-go/ or http://github.com/eawsy/aws-lambda-go/, this project provides a shim for calling go …☆31Oct 31, 2018Updated 7 years ago
- KWin Script which adds shortcuts that behave like the 2x2 Snap feature from Windows 10 and adds top/bottom half tiling☆43Apr 24, 2024Updated 2 years ago
- Nuvoton WPCM450 tools and documentation☆32Jan 15, 2024Updated 2 years ago
- A Shadow plug-in that runs the Tor anonymity software☆50Jun 15, 2021Updated 5 years ago
- Enhanced git experience using the command line☆39Oct 28, 2025Updated 10 months ago
- Infomaniak Terraform Provider☆28Aug 9, 2026Updated 3 weeks ago