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
- A geometry engine interface for 'grid' grobs☆12Aug 30, 2024Updated last year
- Implementations of some lightweight block ciphers in C☆19Mar 25, 2018Updated 8 years ago
- 2D molecular dynamics simulation of dust in dusty plasmas☆12May 21, 2018Updated 8 years ago
- An external project example using SVF as a library☆23Jul 10, 2026Updated last week
- 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.
- Blazingly fast, GC friendly R-Tree☆12Jan 18, 2019Updated 7 years ago
- kbench is a test suite to benchmark several hash table implementations heavily based on Heng Li's udb☆12Jan 8, 2018Updated 8 years ago
- Following AUTOSAR guidelines can be easy and free!☆22Jan 16, 2024Updated 2 years ago
- ☆17Feb 19, 2025Updated last year
- ☆12May 31, 2018Updated 8 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- Automatic Nerf Sentry Gun☆13Feb 2, 2023Updated 3 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- The Beauty and Joy of Computing public resource repository.☆12Updated 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.
- Haskell types and parsers for software version numbers.☆20Jun 24, 2026Updated 3 weeks ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- WCRT CMake build☆11Mar 26, 2014Updated 12 years ago
- Named capture regular expressions for text parsing and data reshaping☆19Apr 21, 2026Updated 3 months ago
- Parse an open api (previously swagger) spec.☆15Apr 16, 2026Updated 3 months ago
- A Lua library for creating a virtual keyboard on Linux with uinput☆13May 19, 2014Updated 12 years ago
- Metagenomic Analysis☆11Apr 5, 2021Updated 5 years ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 7 years ago
- Dynamically discover the commands used to create a piece of software☆58Oct 24, 2025Updated 8 months 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.
- Minix 1.5 source code for the Atari ST☆13Feb 8, 2016Updated 10 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
- Compiler/Interpreter source code from Ronald Mak's book "Writing Compilers & Interpreters - An Applied Approach"☆14Sep 4, 2019Updated 6 years ago
- C++11 memory allocator based on memory pools. It offers fast and efficient allocation of a large number of small-size objects.☆14Sep 2, 2022Updated 3 years ago
- MINIX v3.1.0 - described in the book 'Operating Systems Design and Implementation' 3rd edition.☆19Jun 1, 2016Updated 10 years ago
- Python API for rewriting GTIRB files☆19Apr 30, 2026Updated 2 months ago
- An implementation of Judy Arrays in 1250 Lines of C Code. (with sample CLI applications and Xcode project)☆17Jun 23, 2011Updated 15 years ago
- Janet bindings for GitHub's fork of cmark☆18Nov 23, 2025Updated 7 months ago
- ☆11Apr 10, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- USB Full-Speed core written in migen/LiteX☆12Sep 19, 2019Updated 6 years ago
- Cube is a library (and application) made for LÖVE to run .love files (SO META!)☆11Jun 9, 2015Updated 11 years ago
- eCos 3.0 RTOS, with Xiilinx Zynq and NXP Vybrid support and other additions☆20Jul 4, 2016Updated 10 years ago
- Dynamic arbitrary typed array using fat pointers and macros.☆17Dec 1, 2016Updated 9 years ago
- Mutation Test Tool for Solidity☆17Jun 17, 2022Updated 4 years ago
- A fast and memory efficient C library to manipulate sequential containers, associative structures, and advanced string processing, such a…☆46Jan 13, 2019Updated 7 years ago
- ROS 2 Type adapters for common C++ frameworks☆18Mar 26, 2025Updated last year