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:
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆35Oct 29, 2020Updated 5 years ago
- ☆20Sep 16, 2026Updated last month
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- The official Plume website☆18Mar 16, 2023Updated 3 years ago
- Perspective puzzle game☆18May 8, 2022Updated 4 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.
- Sources for the ANSI/ISO C Specification Language manual☆74Sep 9, 2026Updated last month
- A user friendly widget to edit JSON object.☆13Jun 6, 2024Updated 2 years ago
- a RTE-free X.509 parser☆64Oct 24, 2022Updated 3 years ago
- ☆20Jan 20, 2026Updated 9 months ago
- A small script to create short-lived OPAM compiler switches from experimental OCaml branches☆18Jan 4, 2019Updated 7 years ago
- Language Server Indexing Format (LSIF) generator for PHP☆10Apr 4, 2023Updated 3 years ago
- SDK for developing music plugins in the SynthEdit modules format☆11Jun 4, 2026Updated 4 months ago
- Quality Assurance (QA) script for audio plugins (.vst3, .component, .dll, .vst, .soulpatch, and .soul).☆12Apr 9, 2022Updated 4 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Random program generation based on semantic reification (PLDI'26)☆25Oct 7, 2026Updated 2 weeks ago
- Nouvelle API du Portail des Assos de l'UTC☆14Mar 2, 2023Updated 3 years ago
- data embedding based on approximate nearest neighbour☆45Feb 28, 2026Updated 7 months ago
- This package provides the database factory experience to fake Http calls in your testsuite.☆12Apr 21, 2026Updated 6 months 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
- 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆17Dec 17, 2020Updated 5 years ago
- Utility command-line application for running audio through a plugin☆14Jan 8, 2020Updated 6 years ago
- ☆17Feb 18, 2025Updated last year
- GitHub action for building LaTeX documents via latexmk☆17Updated this week
- ☆13Dec 13, 2023Updated 2 years ago
- SCC: Strip C Comments — Snapshots☆36May 30, 2022Updated 4 years ago
- ☆23Jul 14, 2026Updated 3 months ago
- ☆19May 22, 2023Updated 3 years ago
- a lisp that compile to web assembly☆49Jul 18, 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.
- 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
- The BToolkit, a toolkit supporting software development with the B-method.☆40Apr 19, 2024Updated 2 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 9 months ago
- Display and label a live table of hosts in your network☆14Nov 25, 2016Updated 9 years ago
- WhiteEgret LSM module☆14Oct 30, 2018Updated 7 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- SPARK 2014 repository for the Why3 verification platform.☆40Updated this week