simple static source code analysis tool for C code, with user-definable properties
☆29Jul 8, 2024Updated last year
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:
- An interactive (fast) static source code analyzer☆195May 30, 2026Updated 3 weeks 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
- Railway oriented programming talk and code for TechTrain2021☆11Mar 26, 2021Updated 5 years ago
- Software optimized implementations of GIFT and GIFT-COFB☆18Mar 29, 2022Updated 4 years ago
- ☆20May 20, 2019Updated 7 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.
- An external project example using SVF as a library☆24Updated this week
- Following AUTOSAR guidelines can be easy and free!☆22Jan 16, 2024Updated 2 years ago
- ☆12May 31, 2018Updated 8 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Jul 10, 2020Updated 5 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 5 years ago
- Vanilla JavaScript interpreter with built-in NO-SQL document database with Btree & ARTful indexing from the database project.☆13Apr 18, 2020Updated 6 years ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆28Jan 3, 2025Updated last year
- ☆17Nov 29, 2023Updated 2 years ago
- Seed Corpus for clamav-devel oss-fuzz integration.☆34Jul 30, 2019Updated 6 years ago
- 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.
- User Guided API Misuse Detection☆30Dec 9, 2022Updated 3 years ago
- WCRT CMake build☆11Mar 26, 2014Updated 12 years ago
- AT command server written in C++☆12Aug 2, 2023Updated 2 years ago
- ☆22Aug 29, 2023Updated 2 years ago
- The Beauty and Joy of Computing public resource repository.☆12Updated this week
- Publish C++ vulnerability rules working drafts on github pages☆23Updated this week
- ORC: A tool for finding violations of C++'s One Definition Rule on the OSX toolchain.☆100Oct 7, 2025Updated 8 months ago
- A composable container for Adaptive ROS 2 Node computations. Select between FPGA, CPU or GPU at run-time.☆12Apr 14, 2022Updated 4 years ago
- Bill Joy's original ex☆17Aug 15, 2014Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Mining Relevant Fix Patterns for Automated Program Repair☆31Dec 14, 2022Updated 3 years ago
- Simplified Source Code Pre-Training for Vulnerability Detection☆118Dec 4, 2025Updated 6 months ago
- Cube is a library (and application) made for LÖVE to run .love files (SO META!)☆11Jun 9, 2015Updated 11 years ago
- Mutation analysis tool for Coq verification projects☆31Oct 13, 2020Updated 5 years ago
- MINIX v3.1.0 - described in the book 'Operating Systems Design and Implementation' 3rd edition.☆19Jun 1, 2016Updated 10 years 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
- Python API for rewriting GTIRB files☆19Apr 30, 2026Updated last month
- ☆11Apr 10, 2026Updated 2 months ago
- eCos 3.0 RTOS, with Xiilinx Zynq and NXP Vybrid support and other additions☆20Jul 4, 2016Updated 9 years 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.
- 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
- Fast command-line tool to extract useful data from LTTng traces of ROS applications.☆20May 13, 2026Updated last month
- OpenGL with GLFW and Red/System☆14Jan 11, 2021Updated 5 years ago
- Unified Code Count is a Software Metrics Tool that parses over 20 different programming languages to find Logical and Physical source lin…☆11Sep 22, 2021Updated 4 years ago
- sight reading training tool☆16Dec 11, 2017Updated 8 years ago
- Cross compiler for QDOS c68 on POSIX platforms☆20Oct 18, 2025Updated 8 months ago
- ROS 2 Node to collect and publish information about Smart Battery System devices☆13Apr 29, 2020Updated 6 years ago