A brand-new multi-scenarios smart contract compiler framework
☆75Dec 21, 2025Updated 3 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:
- ☆65Jan 16, 2025Updated last year
- ☆16Oct 13, 2022Updated 3 years ago
- Query-Based Code Analysis Engine☆348Sep 21, 2025Updated 6 months ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆84Oct 24, 2025Updated 5 months ago
- Pluto provides a unified programming interface that allows you to seamlessly tap into cloud capabilities and develop your cloud and AI ap…☆93Jan 16, 2025Updated 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.
- Source for kusionstack.io☆18Oct 13, 2025Updated 5 months ago
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆614Jan 14, 2026Updated 2 months ago
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- KCL Programming Language Command Line Interface (CLI).☆37Updated this week
- Kubernetes KCL Operator and Webhook Server☆25Mar 10, 2026Updated 2 weeks ago
- Kubectl KCL Plugin☆16Dec 16, 2025Updated 3 months ago
- Rust开发一个玩具语言☆12Sep 19, 2022Updated 3 years ago
- PL/SE conference deadline countdowns☆19Nov 23, 2020Updated 5 years ago
- Kubernetes Resource Model KCL Specification and Integrations including Kubectl, Kustomize, Helm, Helmfile, Crossplane, KPT, etc.☆34Updated this week
- 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.
- KCL Kubernetes Config Abstraction & Composition Module☆15Feb 14, 2025Updated last year
- Semgrep rules for Cairo 1.0☆18Aug 28, 2023Updated 2 years ago
- KCL Website and Documentation Repo☆20Updated this week
- A transport middleware for client-go to mutate k8s resource before send to kube-apiserver☆11Jan 17, 2023Updated 3 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆41Dec 3, 2025Updated 3 months ago
- 给llvm17.0.6添加一个新后端Cpu0☆12Apr 22, 2024Updated last year
- ☆24May 13, 2024Updated last year
- ☆15Feb 26, 2026Updated last month
- Camera Ready copy of FuzzSlice v1 code for ICSE☆21Jan 22, 2024Updated 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 and start building anything your business needs.
- Tutorial for LLVM Dev Conference 2019.☆15Oct 23, 2019Updated 6 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Universal Symbolic Virtual Machine☆28Dec 10, 2025Updated 3 months ago
- ☆17Feb 3, 2023Updated 3 years ago
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- IDA Claude Code Plugins☆45Mar 16, 2026Updated last week
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆20Sep 7, 2023Updated 2 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- EmojiOne for Java and JavaFX☆10Jan 7, 2017Updated 9 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.
- Public repo for ETH Escape CTF @ Devcon 2024: https://devcon.org/☆13Dec 11, 2024Updated last year
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 9 months ago
- ☆11Feb 2, 2024Updated 2 years ago
- Identifying and cataloging scams like honeypots, and intentional backdoors that may be present in token smart contracts within the crypto…☆65Jul 25, 2024Updated last year
- ☆12Jul 21, 2023Updated 2 years ago
- ☆12Jun 10, 2025Updated 9 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Aug 5, 2022Updated 3 years ago