Improving Precision in Static Analysis with LLMs
☆16Oct 1, 2025Updated 10 months ago
Alternatives and similar repositories for ZeroFalse
Users that are interested in ZeroFalse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool to download historical data from major cryptocurrency exchanges via API.☆11Feb 15, 2026Updated 6 months ago
- DeVAIC (Detection of Vulnerabilities in AI-generated Code) is a static code analyzer for security issues in Python code snippets. It dete…☆20Oct 24, 2025Updated 10 months ago
- A terminal-first approach to CodeQL multi-repo variant analysis☆17Jul 15, 2026Updated last month
- C++ realisation of gnfs algorithm☆13Aug 5, 2020Updated 6 years ago
- Visual Question Answering System☆11Nov 13, 2019Updated 6 years 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.
- 重庆大学编译原理实验2024☆16May 28, 2025Updated last year
- ☆25Nov 11, 2020Updated 5 years ago
- ☆11Aug 20, 2026Updated last week
- Detect and patch vulnerabilities in AI-generated Python code — VS Code extension☆40Jul 24, 2026Updated last month
- ☆22Mar 20, 2023Updated 3 years ago
- Kubernetes and Knative pipeline demo using Tekton☆12Jun 25, 2019Updated 7 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Jul 9, 2020Updated 6 years ago
- App to manage buses for private transport companies☆18Feb 22, 2024Updated 2 years ago
- ☆22Apr 10, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This repository contains data and code for our EMNLP 2018 paper "BanditSum: Extractive Summarization as a Contextual Bandit.☆29Oct 9, 2019Updated 6 years ago
- Application that gives it's users the ability to examine situations and inner workings of the T8 and T7 game in forensic detail.☆30Updated this week
- ☆10Dec 30, 2015Updated 10 years ago
- ☆22Nov 11, 2022Updated 3 years ago
- Quarkus Mutual TLS Quickstart☆12Mar 28, 2025Updated last year
- 音乐社交网站页面，基于vue全家桶开发,，UI框架采用Vuetify☆18Jan 5, 2023Updated 3 years ago
- Compaas is a Company-as-a-Service platform that assembles AI agents into a fully functional virtual organization. It can ideate, build, m…☆15Apr 23, 2026Updated 4 months ago
- This operator provides facility to sync decryption keys required for Encrypted Container Images.☆17Updated this week
- ☆23Aug 16, 2023Updated 3 years ago
- 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.
- Implementation of Production Ready Information Retrieval System☆11May 7, 2023Updated 3 years ago
- ☆14Nov 3, 2024Updated last year
- Bookshelf plugin that implements cursor based pagination☆19Oct 11, 2017Updated 8 years ago
- Hướng dẫn setup React Webpack Typescript Babel ESLint Prettier☆12Feb 2, 2023Updated 3 years ago
- ☆11Oct 28, 2021Updated 4 years ago
- Fast Federation standard SDKs as open source☆13Jun 19, 2026Updated 2 months ago
- The ultimate Java library for Troy Hunt's ';-- Have I Been Pwned (v3).☆16Jun 30, 2026Updated 2 months ago
- A manually vetted dataset for security vulnerability detection in Java projects☆107Aug 12, 2025Updated last year
- QBX Bytecode Xecutor☆23Dec 30, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GraalVM Native Image Workshop☆13Jan 28, 2021Updated 5 years ago
- A highly modular and diverse Telegram Bot for universities and institutions written in python. This is the effort of a group of eight CS …☆25Dec 7, 2025Updated 8 months ago
- A simple chrome-extension for website fingerprint extraction☆18May 28, 2025Updated last year
- Rust 重构的 sRDI☆18Sep 9, 2024Updated last year
- Everything VDT2024☆19Jul 9, 2025Updated last year
- ==> Building ecommerce website with React Js + Next Js + TypeScript + Node Js + Express + MongoDB + Material-UI + Tailwind-CSS ⚡️ Made wi…☆16Feb 19, 2023Updated 3 years ago
- Viettel Digital Talent 2024 - My assignment submission☆11Oct 3, 2024Updated last year