simple static source code analysis tool for C code, with user-definable properties
☆29Jul 8, 2024Updated 2 years ago
Alternatives and similar repositories for Uno
Users that are interested in Uno are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- An interactive (fast) static source code analyzer☆209May 30, 2026Updated 3 months ago
- Basic implementation in C of AES for 128 bits and the mode of operation Galois Counter Mode.☆11Mar 21, 2015Updated 11 years ago
- Ascon family of lightweight authenticated encryption and hashing schemes, made developer-friendly and with Init-Update-Final paradigms☆17May 11, 2022Updated 4 years ago
- Software optimized implementations of GIFT and GIFT-COFB☆20Mar 29, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A geometry engine interface for 'grid' grobs☆12Aug 12, 2026Updated 2 weeks ago
- LILT: noun, A characteristic rising and falling of the voice when speaking; a pleasant gentle accent.☆19Dec 2, 2018Updated 7 years ago
- Implementations of some lightweight block ciphers in C☆19Mar 25, 2018Updated 8 years ago
- Blazingly fast, GC friendly R-Tree☆12Jan 18, 2019Updated 7 years ago
- Vulnerable Source Code Collected from Open Source Repositories for Dataset Generation☆17Dec 3, 2020Updated 5 years ago
- Following AUTOSAR guidelines can be easy and free!☆22Jan 16, 2024Updated 2 years ago
- ☆17Feb 19, 2025Updated last year
- Playground for testing feedback☆16Aug 12, 2020Updated 6 years ago
- Semantic Crash Bucketing☆16Sep 8, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Notifies you about other people's commits to Subversion repositories☆11Aug 31, 2019Updated 6 years ago
- ☆22Mar 21, 2024Updated 2 years ago
- Python Binding for Chameleon☆11Sep 4, 2020Updated 5 years ago
- MiDas: Multi-granularity Detector for Vulnerability Fixes (IEEE TSE)☆14Dec 5, 2023Updated 2 years ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆29Jan 3, 2025Updated last year
- ☆13Jul 14, 2018Updated 8 years ago
- ☆17Nov 29, 2023Updated 2 years ago
- TensorFlow Lite Model Development☆14Aug 19, 2020Updated 6 years ago
- PiRelay provides a solution for controlling high current/voltage devices and makes your home appliances intelligent. It could be a nice s…☆12Apr 27, 2021Updated 5 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.
- Real-time Index Finger Detection for the ☝️ Gesture Proof-of-Concept☆16Dec 29, 2017Updated 8 years ago
- Seed Corpus for clamav-devel oss-fuzz integration.☆34Jul 30, 2019Updated 7 years ago
- Haskell types and parsers for software version numbers.☆20Aug 6, 2026Updated 3 weeks ago
- B-Roll: Video data in rosbag2 plugins and utilities☆12Nov 19, 2025Updated 9 months ago
- ☆13Dec 26, 2022Updated 3 years ago
- WCRT CMake build☆11Mar 26, 2014Updated 12 years ago
- A C vector library similar to the C++ STL vector☆25Apr 20, 2025Updated last year
- Named capture regular expressions for text parsing and data reshaping☆18Apr 21, 2026Updated 4 months ago
- ☆22Aug 29, 2023Updated 3 years ago
- 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.
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 7 years ago
- Metagenomic Analysis☆11Apr 5, 2021Updated 5 years ago
- A Semantics-Enhanced Learnable Vulnerability Detector☆44Jun 29, 2022Updated 4 years ago
- Posts for Qubes OS Project website☆11Updated this week
- Bill Joy's original ex☆18Aug 15, 2014Updated 12 years ago
- Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment☆13Oct 10, 2022Updated 3 years ago
- Mining Relevant Fix Patterns for Automated Program Repair☆31Dec 14, 2022Updated 3 years ago