☆161Aug 12, 2025Updated 7 months ago
Alternatives and similar repositories for Timing-Verfier
Users that are interested in Timing-Verfier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆74Mar 31, 2025Updated 11 months ago
- 🔥minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,minerproxy,矿池抽水,矿池中转,矿场运维专用☆3,416Updated this week
- 💰唯一正版💰 minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy minerproxy 矿池抽水 矿池代理 矿池中转 矿池抽…☆3,882Updated this week
- The next generation deep reinforcement learning tookit☆3,463Jun 16, 2023Updated 2 years ago
- Align Anything: Training All-modality Model with Feedback☆4,636Nov 27, 2025Updated 4 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Run AI models end-to-end encrypted.☆3,073Feb 10, 2025Updated last year
- Klavis AI: MCP integration platforms that let AI agents use tools reliably at any scale☆5,674Updated this week
- Res-SAM Framework for GPR Underground Hazard Detection☆1,616Nov 15, 2025Updated 4 months ago
- 悟空CRM-基于Spring Cloud Alibaba微服务架构 +vue ElementUI的前后端分离CRM系统☆2,407Aug 27, 2021Updated 4 years ago
- A Doctor for your data☆3,488Jan 14, 2025Updated last year
- 数字底座是一款面向大型政府、企业数字化转型，基于身份认证、组织架构、岗位职务、应用系统、资源角色、数据目录、安全控制等功能构建的统一且安全的管理支撑平台。数字底座基于三员管理模式，具备微服务、多租户、容器化和国产化，支持用户利用代码生成器快速构建自己的业务应用，同时可关联诸…☆2,579Updated this week
- [USENIX Security'25] THEMIS: Towards Practical Intellectual Property Protection for Post-Deployment On-Device Deep Learning Models☆108Aug 13, 2025Updated 7 months ago
- ☆517Feb 28, 2025Updated last year
- The first open autoregressive foundational video AI model.☆2,892Oct 14, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The codes for the paper One-bit Deep Hashing: Towards a Resource-Efficient Hashing Model with Binary Neural Networks (ACMMM24)☆45Mar 4, 2025Updated last year
- 🌐 Make websites accessible for AI agents. Automate tasks online with ease.☆1,034Aug 6, 2025Updated 7 months ago
- UFO³: Weaving the Digital Agent Galaxy☆8,218Mar 19, 2026Updated last week
- FIT: 企业级AI开发框架，提供多语言函数引擎（FIT）、流式编排引擎（WaterFlow）及Java生态的LangChain替代方案（FEL）。原生/Spring双模运行，支持插件热插拔与智能聚散部署，无缝统一大模型与业务系统。☆2,105Mar 13, 2026Updated 2 weeks ago
- A high-performance IM server.☆4,291Updated this week
- LakeSoul is an end-to-end, realtime and cloud native Lakehouse framework with fast data ingestion, concurrent update and incremental data…☆3,228Mar 19, 2026Updated last week
- A multi-agent debate framework supporting AI-vs-AI and Human-vs-AI modes with customizable models, personas, and role-specific prompts.☆65Dec 4, 2025Updated 3 months ago
- This is a useful development tool that supports mocking for both GraphQL and RESTful APIs.☆22Jun 24, 2024Updated last year
- Focus on Linux C2. The open source part is reverse shell management.☆667Aug 16, 2025Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 【ICML 2025 Spotlight】 Official Repo for Paper ‘’HealthGPT : A Medical Large Vision-Language Model for Unifying Comprehension and Generati…☆1,601Nov 2, 2025Updated 4 months ago
- Science-Star: A Platform for Building, Extending, and Experimenting with Scientific Agents.☆747Mar 4, 2026Updated 3 weeks ago
- List of Codes by Mind Network☆208Dec 24, 2025Updated 3 months ago
- Using multiple regression model for analyzing and predicting the stock price☆41Feb 15, 2025Updated last year
- TTP229 full-featured driver library for general-purpose MCU and Linux.☆20Oct 26, 2025Updated 5 months ago
- 悟空HRM人力资源管理系统-提供入职管理、招聘管理、绩效考核管理等一站式人力管理流程☆1,582Nov 6, 2023Updated 2 years ago
- Skywork-R1V is an advanced multimodal AI model series developed by Skywork AI, specializing in vision-language reasoning.☆3,162Dec 15, 2025Updated 3 months ago
- AI-powered tool for efficient abstract and PDF screening in systematic reviews.☆1,305Updated this week
- Comprehensive AI-powered urban development optimization platform that combines deep learning and reinforcement learning for data-driven b…☆35Nov 26, 2025Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A simple plugin system for java☆58Mar 19, 2026Updated last week
- 本项目是一个基于 Golang Gin 框架 开发的 B2C 电商平台，采用 MVC（Model-View-Controller）架构 进行模块化设计，能够扩展为实现前后端分离，支持后台商品管理、用户系统、订单交易、支付集成、数据分析等功能,系统地展…☆1,020Oct 12, 2025Updated 5 months ago
- Orillusion is a pure Web3D rendering engine which is fully developed based on the WebGPU standard.☆5,157Oct 8, 2025Updated 5 months ago
- Dataset approched by A Benchmark and Frequency Compression Method for Infrared Few-Shot Object Detection☆1,004Apr 3, 2025Updated 11 months ago
- Open-source models for financial risk detection and fraud analytics☆429Jan 25, 2026Updated 2 months ago
- A Compositional Operation Toolbox for Gradient-based Bi-Level Optimization☆1,061Jan 5, 2026Updated 2 months ago
- Hallo: Hierarchical Audio-Driven Visual Synthesis for Portrait Image Animation☆8,648Sep 14, 2024Updated last year