☆14Sep 2, 2017Updated 8 years ago
Alternatives and similar repositories for IMTA-report-latex
Users that are interested in IMTA-report-latex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX template for IMT Atlantique reports☆28Aug 14, 2019Updated 6 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- Simple xcode iOS bonjour network browser☆10Oct 6, 2018Updated 7 years ago
- Prototype of a fuzzer for Julia based on concolic execution☆20Feb 8, 2020Updated 6 years ago
- Remote control B&O Beoplay loudspeakers from the command line☆13Apr 15, 2026Updated 3 months ago
- 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.
- ☆15Nov 11, 2015Updated 10 years ago
- My krew index repo☆14Nov 25, 2024Updated last year
- The book covers the application development and customization.☆19Mar 25, 2022Updated 4 years ago
- JetBrains IDEA plugin pedagogical example w/ usage of complex JetBrains UI components☆13Apr 23, 2021Updated 5 years ago
- Build a pfSense box with Packer☆15Mar 8, 2014Updated 12 years ago
- Arduino and web GUI source code for the Open Acidification tank controller (pH-stat unit).☆14May 7, 2026Updated 3 months ago
- A plugin for the IntelliJ IDEA IDE that adds Discord Rich Presence support.☆11Apr 12, 2024Updated 2 years ago
- An NGinx image to cache Maven repositories☆11Jan 13, 2017Updated 9 years ago
- Linux kernel source tree for Sigma Designs SMP86xx☆15Dec 16, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Grok Expression Transform for Kafka Connect.☆16Jun 26, 2026Updated last month
- LIGHTER-R is a tool to optimally implement a given 4 × 4 SBox using logic gates from a reversible logic library☆14Oct 6, 2025Updated 10 months ago
- Ansible role to manage admin users, authorized keys and sudo access.☆20Dec 8, 2022Updated 3 years ago
- PyPI mirror using Nginx cache☆16Dec 6, 2021Updated 4 years ago
- White-box Design and Analysis kit☆23May 22, 2023Updated 3 years ago
- My own DockerFiles☆14Jul 26, 2019Updated 7 years ago
- Velocity Template Language (VTL) Command-line Interface☆14Jul 6, 2024Updated 2 years ago
- Review and rate EPFL courses☆15Dec 18, 2016Updated 9 years ago
- My copy of the Darwin Streaming Server, used in production on Ubuntu Linux servers. (32 and 64 bit)☆21Jan 13, 2010Updated 16 years ago
- 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.
- Fraise is a lightweight but powerful text editor for macOS Sierra -- moved to https://github.com/abentele/Erbele --☆17Feb 19, 2017Updated 9 years ago
- Patch JavaScript and WebAudio like MaxMSP☆20Feb 27, 2019Updated 7 years ago
- A framework for analyzing/testing/fuzzing network applications.☆46Jan 1, 2019Updated 7 years ago
- A quick test of a couple of data frame libraries for Java☆21Jun 6, 2025Updated last year
- Python client for RIPE ATLAS API☆69Jun 3, 2026Updated 2 months ago
- FTP server scanner, indexer and web search☆26Oct 26, 2015Updated 10 years ago
- Script to transfer files over adb as root☆21Apr 4, 2020Updated 6 years ago
- Automatic patch for Traefik supporting private plugins☆20May 19, 2021Updated 5 years ago
- Python-based SMB Share scanner -- scans a bunch of computers, outputs the path and the file permissions for the account☆44Jun 29, 2017Updated 9 years ago
- 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.
- sanic - a simple http framework to go fast☆21Nov 1, 2022Updated 3 years ago
- Hardware and software source for the pISO with SH1106 + Joystick support (1.3inch OLED HAT)☆13Dec 2, 2018Updated 7 years ago
- A fast image hash distance canculation library for nodejs☆18Jul 7, 2025Updated last year
- GitHub-like Git Server, let you control the permission via mongodb or LDAP☆18Aug 2, 2018Updated 8 years ago
- Dynamic android vulnerability scanner using OpenNebula and Android-x86 emulators.☆42Feb 24, 2017Updated 9 years ago
- A set of mods to completely replace Zyxel NSA-325/v2 NAS box firmware.☆24May 12, 2023Updated 3 years ago
- A fuzzing utility for Android that focuses on reporting and delivery portions of the fuzzing process☆39Sep 4, 2014Updated 11 years ago