Analyze your code locally using a GPT LLM.
☆51Dec 23, 2023Updated 2 years ago
Alternatives and similar repositories for Eunomia
Users that are interested in Eunomia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tao(道)一款用于java语言函数调用关系生成的工具,致力于提高java代码审计效率。☆11Jul 2, 2024Updated last year
- Honk is a COLRv1, variable, modular, display typeface by Ek Type. It is a digital interpretation of the bold and vibrant lettering seen o…☆16Mar 14, 2026Updated last month
- ☆10Jul 9, 2020Updated 5 years ago
- This repository contains notebooks for building knowledge graphs and using them to improve Retrieval Augmented Generation (RAG) systems. …☆14May 24, 2024Updated last year
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- An implementation of "Subspace Representations for Soft Set Operations and Sentence Similarities" (NAACL 2024)☆10May 31, 2024Updated last year
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- 大模型辅助SAST静态代码分析的Demo系统☆13Feb 19, 2025Updated last year
- [ICLR 2026] SR-Scientist: Scientific Equation Discovery With Agentic AI☆38Jan 27, 2026Updated 2 months ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 2 years ago
- Take a peek at HN/知乎日报/V2EX/SBBS within Emacs☆13Jun 7, 2015Updated 10 years ago
- Aspect-oriented programming in Rust☆14Nov 1, 2021Updated 4 years ago
- ☆13Dec 7, 2023Updated 2 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.
- ☆20Oct 12, 2024Updated last year
- ☆13Jan 7, 2025Updated last year
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- Some test samples for CPG execution logic.☆20Apr 13, 2024Updated 2 years ago
- Simple, automation friendly SSH for the cloud.☆16Aug 12, 2015Updated 10 years ago
- Orchestrate detonating your MalDev in VMs with different EDRs to see their detection surface.☆24Apr 8, 2026Updated last week
- The Benefits of a Concise Chain of Thought on Problem Solving in Large Language Models☆25Nov 25, 2024Updated last year
- Putting the C2 in C2loudflare☆18Jun 28, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- this is a PIC18F2XXX/4XXX programmer using arduino UNO and a simple Windows console app☆12Oct 26, 2020Updated 5 years ago
- Examples of various Entra ID scenarios in Terraform☆21Sep 24, 2024Updated last year
- BIO: A vocabulary for biographical information☆22Mar 21, 2012Updated 14 years ago
- IDA Pro Folder Management Made Easy☆18Dec 24, 2024Updated last year
- Multi-Agent LLM System for Digital Scam Protection☆13Dec 19, 2024Updated last year
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 6 years ago
- ☆17Jul 11, 2025Updated 9 months ago
- Python GUI for seeing what's happening inside a fuzzer☆26Oct 1, 2021Updated 4 years ago
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆15Apr 26, 2021Updated 4 years ago
- OrqueIO main source code repository☆24Apr 9, 2026Updated last week
- A Verified Implementation of Dijkstra's Algorithm☆18Mar 2, 2021Updated 5 years ago
- ☆20Aug 23, 2024Updated last year
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆23May 31, 2023Updated 2 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Mar 17, 2020Updated 6 years ago
- Learning Concise Models from Long Execution Traces☆13Aug 10, 2022Updated 3 years ago