A brand-new multi-scenarios smart contract compiler framework
☆77Dec 21, 2025Updated 9 months ago
Alternatives and similar repositories for Smart-Intermediate-Representation
Users that are interested in Smart-Intermediate-Representation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Oct 13, 2022Updated 4 years ago
- Query-Based Code Analysis Engine☆359Sep 21, 2025Updated last year
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆88Oct 24, 2025Updated 11 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆215Oct 24, 2025Updated 11 months ago
- A continuously updated collection of papers on agentic SE☆638Jul 17, 2026Updated 3 months 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.
- LLVM-based Static Analysis Framework☆43Oct 7, 2026Updated last week
- Kubernetes KCL Operator and Webhook Server☆27Oct 5, 2026Updated last week
- Simplify Kubernetes applications operation with one-stop observability services, including resource delivery SLO，root cause diagnoses and…☆109Sep 5, 2024Updated 2 years ago
- PL/SE conference deadline countdowns☆18Nov 23, 2020Updated 5 years ago
- Kubernetes Resource Model KCL Specification and Integrations including Kubectl, Kustomize, Helm, Helmfile, Crossplane, KPT, etc.☆36Updated this week
- Indexing three datasets for GPTScan☆66Jun 11, 2024Updated 2 years ago
- KCL Example Repository☆39Apr 8, 2025Updated last year
- KCL Website and Documentation☆22Sep 26, 2026Updated 3 weeks ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 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.
- ☆15Aug 19, 2026Updated last month
- ☆24May 13, 2024Updated 2 years ago
- 与公有云等交互的命令行工具☆12Apr 20, 2024Updated 2 years ago
- 给llvm17.0.6添加一个新后端Cpu0☆12Apr 22, 2024Updated 2 years ago
- ☆15Jul 29, 2026Updated 2 months ago
- Camera Ready copy of FuzzSlice v1 code for ICSE☆20Jan 22, 2024Updated 2 years ago
- ☆16Feb 3, 2023Updated 3 years ago
- IETF RATS terms cheat sheet☆12Feb 4, 2023Updated 3 years ago
- ☆14Nov 7, 2025Updated 11 months 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 the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆23Sep 7, 2023Updated 3 years ago
- A Pointer Analysis Framework for Rust☆74Jul 13, 2026Updated 3 months ago
- 平台工程社区 PECommunity 社区治理☆12Dec 2, 2025Updated 10 months ago
- Identifying and cataloging scams like honeypots, and intentional backdoors that may be present in token smart contracts within the crypto…☆66Jul 25, 2024Updated 2 years ago
- ☆12Jul 21, 2023Updated 3 years ago
- 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
- ☆17May 22, 2023Updated 3 years ago
- Web published translation of Grothendieck's essay on kimchi☆19Jun 7, 2026Updated 4 months ago
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆26Updated this week
- 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.
- Linq-like functions for Java Arraylist☆24Aug 1, 2019Updated 7 years ago
- 吴恩达Coursera课程《机器学习》课后作业代码&笔记☆17Mar 9, 2019Updated 7 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated 2 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Code of our paper "Method-Level Bug Severity Prediction using Source Code Metrics and LLMs" which is accepted to ISSRE 2023.☆10Nov 12, 2023Updated 2 years ago
- ☆17Jan 5, 2022Updated 4 years ago
- python3 version of cloacked-pixel.☆14Oct 8, 2022Updated 4 years ago