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
- Ascon family of lightweight authenticated encryption and hashing schemes, made developer-friendly and with Init-Update-Final paradigms☆17May 11, 2022Updated 4 years ago
- A geometry engine interface for 'grid' grobs☆12Aug 30, 2024Updated last year
- 2D molecular dynamics simulation of dust in dusty plasmas☆12May 21, 2018Updated 8 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
- 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.
- ☆17Feb 19, 2025Updated last year
- ☆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 6 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
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- Automatic Nerf Sentry Gun☆13Feb 2, 2023Updated 3 years ago
- MiDas: Multi-granularity Detector for Vulnerability Fixes (IEEE TSE)☆14Dec 5, 2023Updated 2 years ago
- Metalanguage analysis☆10Dec 10, 2018Updated 7 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.
- Haskell types and parsers for software version numbers.☆20Updated this week
- Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.☆265Sep 25, 2019Updated 6 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- ☆13Dec 26, 2022Updated 3 years ago
- 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
- Experimental PSD loader made for Inochi Creator☆10Jul 23, 2023Updated 3 years ago
- A Semantics-Enhanced Learnable Vulnerability Detector☆44Jun 29, 2022Updated 4 years ago
- Integration for various face tracking APIs for D.☆15Dec 20, 2024Updated last year
- 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.
- ⚠️ THIS REPOSITORY HAS MOVED ⚠️☆12Apr 11, 2026Updated 3 months 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
- Compiler/Interpreter source code from Ronald Mak's book "Writing Compilers & Interpreters - An Applied Approach"☆14Sep 4, 2019Updated 6 years ago
- Automatically exported from code.google.com/p/tastools☆16Feb 21, 2023Updated 3 years ago
- a makefile linter☆20Sep 19, 2016Updated 9 years ago
- Python API for rewriting GTIRB files☆19Apr 30, 2026Updated 3 months ago
- Ice Experimental Release Channel☆12Nov 12, 2024Updated last year
- eCos 3.0 RTOS, with Xiilinx Zynq and NXP Vybrid support and other additions☆20Jul 4, 2016Updated 10 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.
- Creates a shared user directory for Proton prefixes and prevents Steam from deleting your save and config files.☆10Jun 30, 2019Updated 7 years ago
- SMRPG Randomizer☆13Dec 10, 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
- ☆29Dec 28, 2022Updated 3 years ago
- ☆10Sep 30, 2020Updated 5 years ago
- The aim of this project is to create the best 32 bit style Megaman X fan game possible.☆11Sep 7, 2018Updated 7 years ago