Popular GitHub Repositories for Smart Contract Verify

? Empowering everyone to build reliable and efficient smart contracts.

(CGCSTCD'2017) An easy, flexible, and accurate plate recognition project for Chinese licenses in unconstrained situations. CGCSTCD = China Graduate Contest on Smart-city Technology and Creative Design

A collection of sample apps to demonstrate how to use Google's ML Kit APIs on Android and iOS

AI-powered Smart Robotic Process Automation ?

AGiXT is a dynamic AI Agent Automation Platform that seamlessly orchestrates instruction management and complex task execution across diverse AI providers. Combining adaptive memory, smart features, and a versatile plugin system, AGiXT delivers efficient and comprehensive AI solutions.

Better Prometheus alerts for Kubernetes - smart grouping, AI enrichment, and automatic remediation

A modern, web-based photo management server. Run it on your home server and it will let you find the right photo from your collection on any device. Smart filtering is made possible by object recognition, face recognition, location awareness, color analysis and other ML algorithms.

Alias is a teachable “parasite” that is designed to give users more control over their smart assistants, both when it comes to customisation and privacy. Through a simple app the user can train Alias to react on a custom wake-word/sound, and once trained, Alias can take control over your home assistant by activating it for you.

A collection of reference Jupyter notebooks and demo AI/ML applications for enterprise use cases: marketing, pricing, supply chain, smart manufacturing, and more.

ContextGem: Easier and faster way to build LLM extraction workflows through powerful abstractions

Smart, agentic, security AI terminal for developers and cloud practitioners

GUI based Smart Sudoku Solver that tries to extract a sudoku puzzle from a photo and solve it

??The spatial perception framework for rapidly building smart robots and spaces

Android on_device 1:1 Face Recognition 、 Liveness detection and 1:N & M:N Face Search SDK ? 离线版设备端Android1:1人脸识别 动作活体、静默活体、近红外双目活体检测 以及1:N M:N 人脸搜索算法SDK 封装。全程可开飞行模式不用联网

Android On_device 1:1 Face Recognition 、 Liveness detection and 1:N & M:N Face Search SDK ? 离线版设备端Android1:1人脸识别 动作活体、静默活体、近红外双目活体检测 以及1:N M:N 人脸搜索算法SDK 封装。全程可开飞行模式不用联网

NyaProxy acts like a smart, central manager for accessing various online services (APIs) – think AI tools (like OpenAI, Gemini, Anthropic), image generators, or almost any web service that uses access keys. It helps you use these services more reliably, efficiently, and securely.

PatrOwl - Open Source, Smart and Scalable Security Operations Orchestration Platform

? ? Smart media tagging for Nextcloud: recognizes faces, objects, landscapes, music genres

GitFriend is an AI-powered GitHub companion built with React, TypeScript, and Firebase. It helps users resolve Git/GitHub issues through smart AI chat, generates dynamic and professional README files, and adds commit emojis to enhance commit history.

Label Objects and Save Time (LOST) - Design your own smart Image Annotation process in a web-based environment.