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 5 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 9 months ago
- A terminal-first approach to CodeQL multi-repo variant analysis☆17Jul 15, 2026Updated 3 weeks ago
- 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
- ☆11Updated this week
- Detect and patch vulnerabilities in AI-generated Python code — VS Code extension☆40Jul 24, 2026Updated 2 weeks ago
- A google doc clone using NextJs, TailwindCss, DraftJs based Rich Text Editor with styles even applied for printing the doc.☆10Jul 20, 2021Updated 5 years ago
- ☆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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆22Apr 10, 2021Updated 5 years ago
- 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.☆28Jul 8, 2026Updated last month
- ☆10Dec 30, 2015Updated 10 years ago
- ☆21Nov 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 3 months ago
- This operator provides facility to sync decryption keys required for Encrypted Container Images.☆17Jul 24, 2026Updated 2 weeks 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.
- ☆23Aug 16, 2023Updated 2 years ago
- 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 last month
- The ultimate Java library for Troy Hunt's ';-- Have I Been Pwned (v3).☆14Jun 30, 2026Updated last month
- A manually vetted dataset for security vulnerability detection in Java projects☆107Aug 12, 2025Updated 11 months 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.
- QBX Bytecode Xecutor☆23Dec 30, 2020Updated 5 years ago
- 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