A brand-new multi-scenarios smart contract compiler framework
☆75Dec 21, 2025Updated 2 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
Sorting:
- ☆65Jan 16, 2025Updated last year
- Query-Based Code Analysis Engine☆349Sep 21, 2025Updated 5 months ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆84Oct 24, 2025Updated 4 months ago
- ☆15Feb 26, 2026Updated last week
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆606Jan 14, 2026Updated last month
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆199Oct 24, 2025Updated 4 months ago
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 8 months ago
- ☆24May 13, 2024Updated last year
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Materials for the Text to Tech workshop at the Digital Humanities Oxford Summer School☆16Aug 8, 2025Updated 6 months ago
- A homomorphic encryption accelerator for fast matrix-vector product☆33Sep 5, 2023Updated 2 years ago
- Automatically set git config properties in local repository based on remote URL☆15Oct 25, 2021Updated 4 years ago
- Contracts for the EMAX token on Ethereum Mainnet☆20Feb 24, 2022Updated 4 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆41Dec 3, 2025Updated 3 months ago
- Load data into wikibase☆10Nov 20, 2018Updated 7 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- Trading signals processing solution that supports signals filtering and posting to broker or exchanges that are not integrated into your …☆10May 9, 2021Updated 4 years ago
- PACT Agent Collaboration Layer☆15Feb 26, 2026Updated last week
- 🧙♂️✨ Covenants protocol helps Contracts, Organizations (DFOs, DAOs), or regular people to build and manage cross AMMs financial applica…☆11Apr 24, 2024Updated last year
- ☆14Sep 21, 2022Updated 3 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- Miller Beach / NWI air quality monitor using PurpleAir PM sensor, tracking PM2.5, PM10, weather, traffic congestion, trains in "The Regio…☆13Jun 28, 2023Updated 2 years ago
- JournalCraft for Obsidian☆29Sep 28, 2025Updated 5 months ago
- ☆12Jun 10, 2025Updated 8 months ago
- ☆14Nov 1, 2024Updated last year
- ☆19Oct 8, 2025Updated 4 months ago
- OctoFi yield smart contract☆10Sep 12, 2020Updated 5 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Converts burp's sitemap to sulley's fuzzing script☆11Aug 30, 2015Updated 10 years ago
- ☆11Feb 2, 2024Updated 2 years ago
- 安卓应用层抓包通杀脚本☆10Jan 4, 2021Updated 5 years ago
- WEB渗透测试数据库☆10Sep 20, 2016Updated 9 years ago
- Colour Me Cards are your classic holiday cards, with a modern twist.☆15Dec 24, 2018Updated 7 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Exchange structured data between Arduino boards☆11Jul 5, 2019Updated 6 years ago
- Lydia: Who's Your Enemy in the Dark Forrest☆13Aug 24, 2025Updated 6 months ago
- SSR Remote for Android☆14Nov 9, 2012Updated 13 years ago