TLA+ specifications related to Viewstamped Replication
☆52Jan 22, 2023Updated 3 years ago
Alternatives and similar repositories for vsr-tlaplus
Users that are interested in vsr-tlaplus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TLA+ specs for table formats☆45Oct 10, 2024Updated 2 years ago
- ☆132Feb 15, 2025Updated last year
- check☆101Dec 12, 2025Updated 10 months ago
- ☆40Apr 10, 2025Updated last year
- Next-generation AI+DeFi intelligent framework☆43Jan 22, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆105Jan 24, 2025Updated last year
- It is an Android-based application that enables managing hotspot properties through a web interface, providing mobile routing functionali…☆156Jul 14, 2026Updated 3 months ago
- Python code hook system simple support remote hook and local hook☆107Apr 4, 2024Updated 2 years ago
- ☆80Jun 8, 2025Updated last year
- Highly encapsulated for effortless usage, this state machine kernel is realized with just a single function call!☆58Aug 21, 2025Updated last year
- Yihan Hu<3☆23Oct 15, 2024Updated 2 years ago
- Simple yet powerful Twitter data retrieval SDK with multi-language support.No Limits, No Auth Required☆183May 28, 2026Updated 5 months ago
- A high-performance Swift wrapper for MaxMind's GeoIP2 databases, offering thread-safe IP geolocation lookups with optimized memory manage…☆100May 11, 2025Updated last year
- 一站式AIGC系统，支持OpenAI最新旗舰大模型GPT-6、Anthropic Claude-Opus-5-5与Claude-Fable-5-1，后台可自定义接入最新大模型，无需系统更新；支持GPT-Image-2.5、Nano-Banana-2、Midjourney专业…☆60Sep 28, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆164Nov 16, 2025Updated 11 months ago
- AI solution for Patent Classification☆144Jun 29, 2020Updated 6 years ago
- Windows trusted local verification tool for file integrity checking, release review, and safer offline verification workflows.☆50Oct 26, 2026Updated last week
- ☆121Sep 30, 2024Updated 2 years ago
- HACAN: Hybrid Attention-Driven Cross-Layer Alignment Network for Image-Text Retrieval☆79Aug 31, 2026Updated 2 months ago
- Domain Prompt Learning with Quaternion Networks （CVPR2024 Highlight)☆81Dec 27, 2024Updated last year
- A code repository designed to show the best GitHub has to offer.☆165Jun 30, 2024Updated 2 years ago
- Official implementation of ECCV2022 paper End-to-End Weakly Supervised Object Detection with Sparse Proposal Evolution☆103May 29, 2023Updated 3 years ago
- DP vs Recursion Code☆157Oct 14, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Official Implementation of AttentionShift: Iteratively Estimated Part-based Attention Map for Pointly Supervised Instance Segmentation☆155Oct 18, 2024Updated 2 years ago
- MMDepth: Comprehensive MMEngine-based Framework for Monocular, Stereo & Multi-view Depth Estimation☆98Mar 4, 2025Updated last year
- kight is a static analysis tool for c/c++ programs.☆213Dec 27, 2024Updated last year
- ☆28May 12, 2025Updated last year
- An Workspace for HMI tools☆163Jul 11, 2024Updated 2 years ago
- ☆250Feb 11, 2025Updated last year
- Study of the optimization of chatbot behavior based on LLMs in the face of inappropriate behaviors in French conversations using semantic…☆37Dec 9, 2024Updated last year
- This is a tool that can automatically translate the chat log into a note using LLM API☆47Oct 17, 2024Updated 2 years ago
- An awesome list of self-sovereign identity resources.☆137Jul 9, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆175Feb 21, 2025Updated last year
- The pipeline of annotating plant disease resistance genes based on deep protein language and machine learning models☆108May 28, 2026Updated 5 months ago
- An extension for Visual Studio Code that integrates the power of OpenAI's GPT models into VSCode.☆160Mar 24, 2024Updated 2 years ago
- ☆169Jul 14, 2024Updated 2 years ago
- Store and download PseudoMeta R Package☆28Jun 25, 2026Updated 4 months ago
- World Simulator Assistant for Physics-Aware Text-to-Video Generation☆285Sep 22, 2025Updated last year
- MPLSandbox is an out-of-the-box multi-programming language sandbox designed to provide unified and comprehensive feedback from compiler a…☆178Apr 15, 2025Updated last year