Safe integer operation library for C
☆18Dec 29, 2014Updated 11 years ago
Alternatives and similar repositories for safe-iop
Users that are interested in safe-iop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sourc…☆22Oct 31, 2012Updated 13 years ago
- coming soon☆15Apr 16, 2022Updated 4 years ago
- VPN seed4me Account Generator 1 Years☆11Jan 1, 2026Updated 4 months ago
- Scripts I use to test Mirage unikernels on QubesOS☆10Mar 26, 2020Updated 6 years ago
- 🤷 Just my readme☆16Apr 29, 2024Updated 2 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.
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Application to find orphanages around your town, made during Next Level Week #3 event☆14Oct 18, 2020Updated 5 years ago
- git-cvs is a tool to incrementally import changesets from CVS into a Git repository with stable commit hashes.☆15Oct 29, 2015Updated 10 years ago
- Native JACK support for Qubes OS (experimental)☆10Jul 22, 2017Updated 8 years ago
- Neural Network in Java. MNIST example code included.☆13Apr 8, 2023Updated 3 years ago
- raylib renderer for microui in C99☆28Sep 18, 2025Updated 8 months ago
- Create a full read-only OpenBSD system☆17Sep 12, 2016Updated 9 years ago
- Fictional platform developed during an event.☆12Dec 13, 2022Updated 3 years ago
- Network/WebApplication Information Gathering, Enumeration and Vulnerability Scanning (Under Development)☆16Feb 2, 2019Updated 7 years 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.
- Snake Game 🐍☆11Feb 25, 2021Updated 5 years ago
- Small, safe and fast formatting library☆16Oct 23, 2018Updated 7 years ago
- 🎞 Implementation of several Branch Prediction algorithms and analysis on their effectiveness on real-world program traces.☆21Apr 10, 2021Updated 5 years ago
- MPEG File Format Conformance Framework☆18May 29, 2025Updated last year
- ☆11Oct 24, 2020Updated 5 years ago
- 👨🏻🎓👩🏻🏫 A aplicação consiste em conectar quem quer aprender com quem ensina.☆14Mar 5, 2023Updated 3 years ago
- A library for calculating the Associated Legendre polynomials☆26May 1, 2026Updated 3 weeks ago
- ☆19Jan 2, 2025Updated last year
- An example Mirage unikernel that runs as a Qubes AppVM☆23Nov 25, 2020Updated 5 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.
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Jul 14, 2020Updated 5 years ago
- WiP image viewer using MirageOS☆19Aug 4, 2019Updated 6 years ago
- ☆14Mar 20, 2019Updated 7 years ago
- Simple, energy-based voice activity detection algorithm implementation.☆18Apr 21, 2024Updated 2 years ago
- Harden and secure your Debian or Debian based OS, with this simple zero-configuration Debian bash script☆18May 30, 2022Updated 3 years ago
- A RESTful tuple space server☆22Dec 2, 2023Updated 2 years ago
- Tweet from Kivy on Android☆12Oct 8, 2013Updated 12 years ago
- A simple asyncio friendly replacement for multiprocessing to run coroutines in a separate process.☆14Sep 10, 2020Updated 5 years ago
- FreeBSD src tree☆18Oct 12, 2020Updated 5 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.
- A fork of st implementing scrollback, keyboard selection, and tabs.☆11Jul 23, 2014Updated 11 years ago
- meta-data datasource for OpenBSD vmd(8)☆18Oct 18, 2018Updated 7 years ago
- A pluggable compliance checker (ISOBMFF, HEIF/MIAF/AVIF, AV1 HDR10+)☆20Apr 21, 2026Updated last month
- ☆23Nov 28, 2023Updated 2 years ago
- Everything I panned over the internet in my web development studies☆17Oct 22, 2022Updated 3 years ago
- Qubes OS infrastructure configuration☆25May 2, 2026Updated 3 weeks ago
- Behavior Driven Development framework for C++☆51Oct 6, 2020Updated 5 years ago