☆17Oct 14, 2026Updated 2 weeks ago
Alternatives and similar repositories for exverus
Users that are interested in exverus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13May 19, 2024Updated 2 years ago
- ☆16Dec 29, 2023Updated 2 years ago
- Official repo for "ProSec: Fortifying Code LLMs with Proactive Security Alignment"☆19Feb 26, 2026Updated 8 months ago
- Generates executable Proof-of-Concept for any bug in any project. AI agents discover and reproduce vulnerabilities — verified, not halluc…☆35May 5, 2026Updated 5 months ago
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆41Aug 24, 2025Updated last year
- 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.
- A learning-guided approach for executing arbitrary Python code snippets☆16Mar 4, 2024Updated 2 years ago
- ☆13Nov 6, 2025Updated 11 months ago
- Code release for "Blurred LiDAR for Sharper 3D: Robust Handheld 3D Scanning with Diffuse LiDAR and RGB" (CVPR 2025 Highlight)☆12May 21, 2026Updated 5 months ago
- The First International Workshop on Large Language Models for Code 2024 (Co-Located with ICSE 2024)☆17Oct 4, 2024Updated 2 years ago
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago
- [ICML 2026] SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark☆26Updated this week
- homepage for proFL☆23Apr 26, 2021Updated 5 years ago
- [ICLR 2026] Official implementation for "RedCodeAgent: Automatic Red-teaming Agent against Diverse Code Agents"☆14Apr 24, 2026Updated 6 months ago
- ICLR 2026☆18Updated this week
- 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.
- Official Repository for WatchHAR: Real-time On-device Human Activity Recognition System for Smartwatches. (ICMI'25)☆18Oct 19, 2026Updated last week
- code for paper "Physical-World Optical Adversarial Attacks on 3D Face Recognition"☆20Oct 19, 2023Updated 3 years ago
- Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf☆18Mar 2, 2021Updated 5 years ago
- ☆133Jul 14, 2024Updated 2 years ago
- Training and Benchmarking LLMs for Code Preference.☆38Nov 15, 2024Updated last year
- Learning Continuous Grasping Function with a Dexterous Hand from Human Demonstrations, RA-L 2023☆26Aug 28, 2024Updated 2 years ago
- [NeurIPS 2026 🏆 Oral] AgentAbstain: Systematic Evaluation Framework of Agentic Abstention☆22Sep 28, 2026Updated last month
- ☆15Jul 30, 2024Updated 2 years ago
- ☆21Oct 5, 2023Updated 3 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.
- A Benchmark Suite of Real-World Qiskit Bugs☆11Sep 21, 2026Updated last month
- EvoEval: Evolving Coding Benchmarks via LLM☆84Apr 6, 2024Updated 2 years ago
- 📐 Results for the Ranking Metrics submission @ GLB 2022☆10Apr 6, 2022Updated 4 years ago
- 浙江大学区块链大作业-去中心化NFT拍卖平台(前端完善版）☆10Dec 27, 2021Updated 4 years ago
- ☆11May 2, 2024Updated 2 years ago
- Java* Fuzzer for JVM☆11Nov 3, 2021Updated 4 years ago
- ☆25Jun 9, 2024Updated 2 years ago
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆15Oct 13, 2026Updated 2 weeks ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Apr 20, 2017Updated 9 years ago
- Code for the ACL2023 paper: CAT: A Contextualized Conceptualization and Instantiation Framework for Commonsense Reasoning (https://aclant…☆11May 9, 2023Updated 3 years ago
- This repo holds the implementation of PAVE: Patching and Adapting Video Large Language Models (CVPR2025)☆28Oct 22, 2026Updated last week
- ☆18Sep 24, 2025Updated last year
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated 2 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 4 years ago
- 🧰 🛠️ A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Mar 17, 2026Updated 7 months ago