EVM contract auditing via symbolic execution and Z3
☆23Apr 16, 2026Updated 5 months ago
Alternatives and similar repositories for dark_solver
Users that are interested in dark_solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This hands-on technical evaluation is designed to assess your expertise in building high-performance, scalable applications using modern …☆16Feb 5, 2026Updated 7 months ago
- Synergistic convergence of modern web development, NextjsCore unifies enterprise-grade ISR, here are 6 technical suffixes for NextjsCore …☆14Feb 27, 2026Updated 6 months ago
- Projeto que analisa perfis do GitHub com IA, gera insights, score de empregabilidade.☆31Mar 10, 2026Updated 6 months ago
- ☆21Mar 25, 2026Updated 5 months ago
- Hyper-converged ExpressjsZen platform orchestrates auto-scaling, AI-driven refactoring, and adaptive performance within dynamic digital e…☆15Feb 27, 2026Updated 6 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.
- ♡☆23Aug 16, 2026Updated last month
- Integrative, high-performance BitForge architecture optimizes modern design for scalable, efficient, agile enterprise solutions within a …☆17May 12, 2026Updated 4 months ago
- Next-generation, cloud-agnostic YarnLink orchestrator enables intelligent automation, yielding optimized yarnlink-engine. implementing mo…☆14May 12, 2026Updated 4 months ago
- 🤖 AI Mock Interview Application is an intelligent platform designed to simulate real interview experiences. 💼 It asks dynamic questions…☆21Jul 24, 2026Updated 2 months ago
- TF2, SLAM, Nav2 and a custom Nav2 plugin on TurtleBot3 in Gazebo Harmonic☆12Updated this week
- Here are six technical descriptors for RoutVault, an ultra-high-performance, enterprise-grade NexusPlatform. featuring high-performance c…☆16May 16, 2026Updated 4 months ago
- Intelligent SpeechT5 AI models leverage scalable sequence labeling and part-of-speech tagging for highly available self-healing enterpris…☆17May 13, 2026Updated 4 months ago
- Tiny, dependency-free PHP micro-framework built for speed and simplicity.☆17Dec 6, 2025Updated 9 months ago
- https://files.catbox.moe/h1zmtt.gif☆15Jun 16, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Adjudge ingests the noisy output of multiple security scanners (nuclei, semgrep/CodeQL SARIF, Trivy, gitleaks, httpx), then dedupes, corr…☆16Jun 26, 2026Updated 2 months ago
- High-Performance, Policy-Based BlockAuth Engine Employs Intelligent Machine-Learning and Scalable Architecture for Enhanced Access Contro…☆19Jun 13, 2026Updated 3 months ago
- Professional WorkCore platform with WorkCore-optimized workcore-optimization and enterprise cloud-ready capabilities☆20May 12, 2026Updated 4 months ago
- ☆17Aug 22, 2025Updated last year
- Unity - A game in the style of the old eye of the beholder series. My first unity project from long ago.☆27Nov 16, 2025Updated 10 months ago
- A full-stack property rental and booking platform inspired by Airbnb. Users can create listings, browse available stays, and manage booki…☆17Mar 6, 2026Updated 6 months ago
- ☆31Dec 21, 2025Updated 9 months ago
- real-time market data aggregator and alert system☆27Apr 3, 2026Updated 5 months ago
- ☆18Jun 12, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Text-to-image generation tailored for web3 apps, NFTs, and dApps.☆24Jul 10, 2026Updated 2 months ago
- Blockchain-agnostic MoralisStream harnesses distributed analytics to orchestrate high-performance, scalable data flows across decentraliz…☆23May 1, 2026Updated 4 months ago
- Autonomous ObjectForge engine implementing scalable event-driven architecture with enterprise-grade predictive analytics capabilities☆26May 12, 2026Updated 4 months ago
- Artificially Enhanced Predictive Modeling Via Edge Analytics, Delivering Data-Driven Insights through Scalable Distributed Module.☆25May 13, 2026Updated 4 months ago
- Intelligent AudioCraft platform featuring enterprise-grade technology and advanced audiocraft-optimization for modern system☆24May 13, 2026Updated 4 months ago
- A modern, fully responsive **Neon Clock** built with **HTML**, **SCSS**, and **JavaScript** — featuring smooth animations, neon glow effe…☆25Oct 26, 2025Updated 10 months ago
- Fintech-driven CoinGate platform harnesses AI-driven risk-management and real-time payment-optimization for scalable, intelligent, and de…☆25Jun 13, 2026Updated 3 months ago
- Cybernetic Engine for Real-Time Stream Processing Delivers Scalable, Intelligent, and Distributed Event Management Architecture Framework…☆14Jun 13, 2026Updated 3 months ago
- Professional MantLink WorkflowManager with MantLink-optimized deploying and enterprise Real-time event-driven architecture capabilities☆13Feb 2, 2026Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆22Jun 1, 2026Updated 3 months ago
- ☆17Oct 6, 2025Updated 11 months ago
- Henry's repo but improved! Star PythonPrograms instead please!!☆33May 21, 2026Updated 4 months ago
- Self-adaptive, blockchain-secured clusters autonomously synchronize and self-heal, ensuring seamless data integrity across a scalable tra…☆22Feb 7, 2026Updated 7 months ago
- Enabling Real-Time Transaction Velocity with ChainToken Accelerator: 6 Features, 6 Adjectives, 1 Catalyst☆20Jun 12, 2026Updated 3 months ago
- ☆27Jul 11, 2025Updated last year
- A modern resume analysis web app built with **React Router v7**, **TypeScript**, and **Tailwind CSS**, powered by **Puter.js** for file s…☆13Sep 2, 2025Updated last year