Github Action for running the Eva plug-in and producing a SARIF report
☆11Oct 20, 2021Updated 5 years ago
Alternatives and similar repositories for github-action-eva-sarif
Users that are interested in github-action-eva-sarif are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple diff algorithm in pure OCaml☆15Jul 10, 2020Updated 6 years ago
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 8 years ago
- The official Plume website☆18Mar 16, 2023Updated 3 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆35Oct 29, 2020Updated 6 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.
- ☆20Sep 16, 2026Updated last month
- Perspective puzzle game☆18May 8, 2022Updated 4 years ago
- A user friendly widget to edit JSON object.☆13Jun 6, 2024Updated 2 years ago
- ☆20Jan 20, 2026Updated 9 months ago
- a RTE-free X.509 parser☆64Oct 24, 2022Updated 4 years ago
- Language Server Indexing Format (LSIF) generator for PHP☆10Apr 4, 2023Updated 3 years ago
- Sources for the ANSI/ISO C Specification Language manual☆75Sep 9, 2026Updated 2 months ago
- A small script to create short-lived OPAM compiler switches from experimental OCaml branches☆18Jan 4, 2019Updated 7 years ago
- SDK for developing music plugins in the SynthEdit modules format☆11Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆28May 15, 2024Updated 2 years ago
- Quality Assurance (QA) script for audio plugins (.vst3, .component, .dll, .vst, .soulpatch, and .soul).☆11Apr 9, 2022Updated 4 years ago
- a VST plugin creator☆10Aug 22, 2020Updated 6 years ago
- A virtual analog character compressor built using topology-preserving transform in SOUL and models optimized for real-time audio☆11Aug 7, 2021Updated 5 years ago
- Random program generation based on semantic reification (PLDI'26)☆25Oct 7, 2026Updated last month
- Nouvelle API du Portail des Assos de l'UTC☆14Mar 2, 2023Updated 3 years ago
- This package provides the database factory experience to fake Http calls in your testsuite.☆12Apr 21, 2026Updated 6 months ago
- data embedding based on approximate nearest neighbour☆45Feb 28, 2026Updated 8 months ago
- ProB 2.0☆11Jul 19, 2019Updated 7 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.
- 📸 Create SVGs from terminal output☆32Updated this week
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- ☆14Dec 14, 2023Updated 2 years ago
- A Distorted Delay based off of traditional analog BBD (Bucket Brigade Device) Circuits☆11Aug 7, 2021Updated 5 years ago
- Next business day wrapper for Carbon DateTime library☆21Sep 21, 2026Updated last month
- A Filament Form Component for Number Input☆13Apr 15, 2026Updated 6 months ago
- ☆17Feb 18, 2025Updated last year
- ☆13Dec 13, 2023Updated 2 years ago
- Utility command-line application for running audio through a plugin☆15Jan 8, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Static Analyzer and Verifier☆54Oct 12, 2024Updated 2 years ago
- ☆19May 22, 2023Updated 3 years ago
- utilities useful for booting mainline linux on Samsung's midas boards (Galaxy S3/Galaxy Note 2)☆12Apr 21, 2018Updated 8 years ago
- GitHub action for building LaTeX documents via latexmk☆17Updated this week
- a lisp that compile to web assembly☆49Jul 18, 2020Updated 6 years ago
- ☆17Dec 17, 2020Updated 5 years ago
- Gradle plugin for Updates the project version.A plugin that can updating the semantic versions like `yarn version` command.☆15Oct 19, 2023Updated 3 years ago
Are these results useful?