EVM contract auditing via symbolic execution and Z3
☆22Apr 16, 2026Updated 3 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 …☆17Feb 5, 2026Updated 5 months ago
- Synergistic convergence of modern web development, NextjsCore unifies enterprise-grade ISR, here are 6 technical suffixes for NextjsCore …☆16Feb 27, 2026Updated 4 months ago
- Projeto que analisa perfis do GitHub com IA, gera insights, score de empregabilidade.☆32Mar 10, 2026Updated 4 months ago
- ☆20Mar 25, 2026Updated 3 months ago
- Hyper-converged ExpressjsZen platform orchestrates auto-scaling, AI-driven refactoring, and adaptive performance within dynamic digital e…☆17Feb 27, 2026Updated 4 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.
- ♡☆22Jun 25, 2026Updated 3 weeks ago
- Integrative, high-performance BitForge architecture optimizes modern design for scalable, efficient, agile enterprise solutions within a …☆18May 12, 2026Updated 2 months ago
- Next-generation, cloud-agnostic YarnLink orchestrator enables intelligent automation, yielding optimized yarnlink-engine. implementing mo…☆16May 12, 2026Updated 2 months ago
- 🤖 AI Mock Interview Application is an intelligent platform designed to simulate real interview experiences. 💼 It asks dynamic questions…☆21Jul 1, 2026Updated 3 weeks ago
- ☆15Jan 25, 2026Updated 5 months ago
- Here are six technical descriptors for RoutVault, an ultra-high-performance, enterprise-grade NexusPlatform. featuring high-performance c…☆17May 16, 2026Updated 2 months ago
- Intelligent SpeechT5 AI models leverage scalable sequence labeling and part-of-speech tagging for highly available self-healing enterpris…☆18May 13, 2026Updated 2 months ago
- Tiny, dependency-free PHP micro-framework built for speed and simplicity.☆18Dec 6, 2025Updated 7 months ago
- https://files.catbox.moe/h1zmtt.gif☆15Jun 16, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Adjudge ingests the noisy output of multiple security scanners (nuclei, semgrep/CodeQL SARIF, Trivy, gitleaks, httpx), then dedupes, corr…☆17Jun 26, 2026Updated 3 weeks ago
- High-Performance, Policy-Based BlockAuth Engine Employs Intelligent Machine-Learning and Scalable Architecture for Enhanced Access Contro…☆18Jun 13, 2026Updated last month
- Professional WorkCore platform with WorkCore-optimized workcore-optimization and enterprise cloud-ready capabilities☆21May 12, 2026Updated 2 months ago
- ☆17Aug 22, 2025Updated 11 months ago
- Unity - A game in the style of the old eye of the beholder series. My first unity project from long ago.☆28Nov 16, 2025Updated 8 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 4 months ago
- Professional TokenForge tokenforge-engine with TokenForge-optimized enterprise-grade and enterprise tokenforge-optimization capabilities☆23May 12, 2026Updated 2 months ago
- ☆33Dec 21, 2025Updated 7 months ago
- ☆20Jun 12, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- real-time market data aggregator and alert system☆28Apr 3, 2026Updated 3 months ago
- Text-to-image generation tailored for web3 apps, NFTs, and dApps.☆25Jul 10, 2026Updated 2 weeks ago
- Autonomous ObjectForge engine implementing scalable event-driven architecture with enterprise-grade predictive analytics capabilities☆27May 12, 2026Updated 2 months ago
- Blockchain-agnostic MoralisStream harnesses distributed analytics to orchestrate high-performance, scalable data flows across decentraliz…☆25May 1, 2026Updated 2 months ago
- Artificially Enhanced Predictive Modeling Via Edge Analytics, Delivering Data-Driven Insights through Scalable Distributed Module.☆26May 13, 2026Updated 2 months ago
- Python framework for quantum chaos diagnostics in SYK and Hubbard models. Features Jordan-Wigner transformation, level spacing ratio anal…☆21Feb 22, 2026Updated 5 months ago
- Intelligent AudioCraft platform featuring enterprise-grade technology and advanced audiocraft-optimization for modern system☆25May 13, 2026Updated 2 months ago
- BTK Akademi Python eğitimleri kapsamında geliştirilen temel ve ileri seviye projeler, veri bilimi giriş uygulamaları ve algoritma örnekle…☆37Apr 24, 2026Updated 3 months ago
- A modern, fully responsive **Neon Clock** built with **HTML**, **SCSS**, and **JavaScript** — featuring smooth animations, neon glow effe…☆24Oct 26, 2025Updated 8 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.
- Better GitHub statistics images for your profile, with stats from private repos too.☆20Updated this week
- Fintech-driven CoinGate platform harnesses AI-driven risk-management and real-time payment-optimization for scalable, intelligent, and de…☆27Jun 13, 2026Updated last month
- Professional MantLink WorkflowManager with MantLink-optimized deploying and enterprise Real-time event-driven architecture capabilities☆16Feb 2, 2026Updated 5 months ago
- Cybernetic Engine for Real-Time Stream Processing Delivers Scalable, Intelligent, and Distributed Event Management Architecture Framework…☆15Jun 13, 2026Updated last month
- ☆23Jun 1, 2026Updated last month
- ☆16Oct 6, 2025Updated 9 months ago
- Henry's repo but improved! Star PythonPrograms instead please!!☆36May 21, 2026Updated 2 months ago