[ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs
☆14Jul 27, 2025Updated last year
Alternatives and similar repositories for LISP
Users that are interested in LISP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Sep 12, 2024Updated 2 years ago
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 5 years ago
- VS Code extension to access https://chat.deepseek.com/ within VS code sidebar. Both DeepSeekChat and code in the same editor, side by sid…☆16Jan 21, 2025Updated last year
- ☆12Aug 5, 2026Updated 2 months ago
- BGraph is a tool designed to generate dependencies graphs from Android.bp soong files.☆20Sep 19, 2025Updated last year
- 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.
- Code for ICSE'24 Paper☆14Apr 21, 2024Updated 2 years ago
- 全国大学生软件测试大赛题库(2016~2024)，包含国际赛和国内赛全过程题目，学生自行整理，存在缺漏☆13Nov 17, 2024Updated last year
- A constraint solver abstraction layer for Java☆12Oct 4, 2026Updated last week
- Lifting network implementation to precise format specification☆23Apr 21, 2025Updated last year
- ☆39Jan 27, 2025Updated last year
- ☆11Jul 11, 2023Updated 3 years ago
- ☆23Nov 22, 2023Updated 2 years ago
- This is a repository of all the can-be-made-public notes and assignments during my undergraduate studies in Computer Science and Technolo…☆11Nov 13, 2023Updated 2 years ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Oct 1, 2026Updated last 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.
- This is a JLU-SNL-COMPILER project☆13Oct 6, 2023Updated 3 years ago
- ☆19Mar 22, 2026Updated 6 months ago
- ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents☆164Sep 8, 2026Updated last month
- Lab for fudan program analysis 2024 autumn☆11Nov 24, 2025Updated 10 months ago
- A VSCode extension that allows you to use ChatGPT inside the IDE☆23Feb 22, 2024Updated 2 years ago
- 这是一个基于 React + Vite + Tailwind CSS 构建的 Web 端全沉浸式视觉小说（GalGame）风格 AI 聊天应用。它不仅是一个聊天窗口，更是一个集成了 **Live2D 动态同步**、**长期记忆流**、**隐式日程管家**机制的赛博私人助理。☆31Jul 24, 2026Updated 2 months ago
- Coverage based JVM Fuzz testing tool.☆19Sep 27, 2019Updated 7 years ago
- enchmarking Large Language Models' Resistance to Malicious Code☆20Apr 23, 2026Updated 5 months ago
- CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics☆23Aug 20, 2026Updated last month
- 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.
- Replication Package of Task-Oriented ML/DL Library Recommendation based on Knowledge Graph☆16Nov 30, 2022Updated 3 years ago
- ☆22Nov 17, 2025Updated 10 months ago
- Symbolic PathFinder☆170Feb 26, 2026Updated 7 months ago
- ☆23Mar 28, 2026Updated 6 months ago
- ☆25Sep 23, 2026Updated 2 weeks ago
- The SUSHI test case generator☆24Sep 18, 2026Updated 3 weeks ago
- Code and resource of "FinEntity: Entity-level Sentiment Classification for Financial Texts" (EMNLP 2023)☆20Jan 30, 2024Updated 2 years ago
- DependEval: a hierarchical benchmark for evaluating LLMs on repository-level code understanding across 8 programming languages.☆16Jul 28, 2025Updated last year
- Dataset of Codex generated tests for the CodaMosa project☆19Jun 2, 2023Updated 3 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.
- Cross-site-scripting attacks: A Comprehensive dataset for AI techniques usage☆22Apr 15, 2022Updated 4 years ago
- 一个常用编码加解密的懒人工具，自动识别，尝试转换所有类型，包括html实体化，base64，base32，32位md5，16位md5，hash，\x,0x等十六进制格式,url编码...☆15Feb 1, 2022Updated 4 years ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Jun 6, 2018Updated 8 years ago
- The repository of data and codes for SynTeR, an LLM-based approach to repair obsolete test cases caused by syntactic BCs.☆16Aug 25, 2024Updated 2 years ago
- This repository is the code implementing some classic algorithms in co-location pattern minning.☆13May 9, 2014Updated 12 years ago
- ☆11Apr 16, 2022Updated 4 years ago
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Mar 1, 2016Updated 10 years ago