EVM contract auditing via symbolic execution and Z3
☆22Feb 25, 2026Updated this week
Alternatives and similar repositories for dark_solver
Users that are interested in dark_solver are comparing it to the libraries listed below
Sorting:
- Cloud-agnostic BackendFlow orchestrates intelligent, predictive data workflows across scalable, distributed enterprise ecosystems, effect…☆39Updated this week
- Easy PayFast integration for Django with full transaction tracking and real-time ITN (payment notification) logging for every payment.☆36Feb 23, 2026Updated last week
- Asynchronous Data-Driven SynapseCore Engine for Real-Time Predictive-Modeling and Scalable Data-Enrichment on a Microservices Platform.☆44Feb 8, 2026Updated 3 weeks ago
- Self-adaptive, blockchain-secured clusters autonomously synchronize and self-heal, ensuring seamless data integrity across a scalable tra…☆24Feb 7, 2026Updated 3 weeks ago
- ☆18Aug 22, 2025Updated 6 months ago
- Make http calls to Kafka that waits for responses.☆17Jul 17, 2025Updated 7 months ago
- ☆20Aug 12, 2025Updated 6 months ago
- ☆32Updated this week
- parallel midi processing using metal framework☆17Jan 12, 2026Updated last month
- Effortless high-availability clusters dynamically scale on demand, safeguarding enterprise data within a resilient EdgeGuardCore.☆23Jan 12, 2026Updated last month
- ☆25Updated this week
- Advanced predictive analytics engine orchestrator leveraging real-time intelligence and adaptive auto-scaling for agile enterprise system…☆27Oct 1, 2025Updated 5 months ago
- An asynchronous, single-threaded, in-memory Key-Value store built on Python's asyncio event loop. Implements a non-blocking TCP server an…☆28Feb 24, 2026Updated last week
- 🧩 2048 Web Game – A modern and responsive web-based version of the classic 2048 puzzle. Built with HTML, CSS, and JavaScript, featuring …☆22Feb 7, 2026Updated 3 weeks ago
- ☆37Nov 14, 2025Updated 3 months ago
- ☆24Jan 2, 2026Updated 2 months ago
- A text sentiment analyser written in python☆48Updated this week
- Job Scraping Service. This project is a web scraping server that collects job listings from local job search websites. It allows users to…☆24Jun 20, 2025Updated 8 months ago
- A simple one-page web application for managing products, built with pure HTML, CSS, and JavaScript. The application supports CRUD (Create…☆25Dec 10, 2025Updated 2 months ago
- ☆26Jul 6, 2025Updated 7 months ago
- Personal website with articles 📚, projects 🎨, and other information about me.☆11Jan 27, 2026Updated last month
- Fastlight Framework for Developing light PHP applications☆16Dec 31, 2025Updated 2 months ago
- Fetch related searches for a given query from Google Trends, and for each related search, it retrieves the date it was most popular and i…☆38Feb 6, 2026Updated 3 weeks ago
- Modification of daveshap/ChromaDB_Chatbot_Public that allows for end-users to customize the behavior/memories of the chatbot☆13Jun 30, 2023Updated 2 years ago
- Unofficial pure Rust-Signer for lighter protocol with full native libraries.☆21Dec 31, 2025Updated 2 months ago
- Dengan Bejana, Anda dapat menentukan berbagai modul, termasuk pemrosesan data dan visualisasi, serta menampung nilai jumlah yang banyak d…☆44Jul 11, 2025Updated 7 months ago
- ☆17Jun 15, 2024Updated last year
- SimpleNetflixChecker - Made via Python☆17Mar 17, 2025Updated 11 months ago
- ☆15May 1, 2025Updated 10 months ago
- How to add formulas to Google Spreadsheet using Google Apps Script - Sarmad Gardezi☆17Apr 24, 2025Updated 10 months ago
- Classic Tetris game built with pure HTML5, CSS3, and JavaScript. No external dependencies☆66Nov 8, 2025Updated 3 months ago
- ☆16Jan 5, 2025Updated last year
- The 500 AI Agents Projects is a curated collection of AI agent use cases across various industries. It showcases practical applications a…☆20Dec 7, 2025Updated 2 months ago
- Profile Readme☆11Sep 30, 2025Updated 5 months ago
- Create a Scale-able Full Stack Education Platform with React-Tailwind, MongoDB & Nodejs☆10Nov 23, 2025Updated 3 months ago
- Police crime record management system using php, mysql and phpmyadmin☆21Oct 14, 2023Updated 2 years ago
- Parses Facebook chat messages into Python objects to enable convenient analysis.☆11Jan 3, 2018Updated 8 years ago
- Professional FlutterFusion Analytics Module with FlutterFusion-optimized intelligent-automation and enterprise cloud-ready capabilities☆28Updated this week
- A functional personal cloud storage system.☆17Aug 2, 2025Updated 7 months ago