Lingzhi-Ouyang / RemixView external linksLinks
☆13Apr 10, 2025Updated 10 months ago
Alternatives and similar repositories for Remix
Users that are interested in Remix are comparing it to the libraries listed below
Sorting:
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- Run TLC in cmd☆15Jan 20, 2026Updated 3 weeks ago
- ☆20Nov 28, 2024Updated last year
- ☆12Nov 13, 2024Updated last year
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated 11 months ago
- ☆10Nov 26, 2024Updated last year
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- What makes Paxos tick?☆11Apr 16, 2025Updated 10 months ago
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 6 years ago
- ☆10Dec 11, 2025Updated 2 months ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated last year
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆150Feb 10, 2026Updated last week
- A feedback-driven fault injection tool for reproducing distributed systems failures☆16Apr 25, 2025Updated 9 months ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Jan 19, 2026Updated 3 weeks ago
- ☆21Dec 9, 2025Updated 2 months ago
- NestJS project template, configured with prisma and ejs☆12Dec 1, 2024Updated last year
- This script automates the process of unlocking Apple ID accounts by solving captcha challenges, verifying account details, and resetting …☆13Jan 24, 2026Updated 3 weeks ago
- Progetto per la prova finale di Ingegneria del Software 2023-2024 al Politecnico di Milano☆10Oct 19, 2024Updated last year
- TLA+ model checking guided testing for distributed systems☆17Feb 12, 2024Updated 2 years ago
- Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)☆21Jun 5, 2024Updated last year
- ☆21Oct 25, 2021Updated 4 years ago
- ☆77Mar 3, 2025Updated 11 months ago
- ☆14Sep 10, 2024Updated last year
- API de mapeo para la Universidad de El Salvador (UES), desarrollada por estudiantes de la Facultad Multidisciplinaria Oriental. Proporcio…☆16Oct 3, 2025Updated 4 months ago
- A smart inventory management system that includes real-time stock tracking, supplier management, predictive analytics for inventory forec…☆17Apr 22, 2025Updated 9 months ago
- ☆28Dec 31, 2024Updated last year
- ☆21Jan 1, 2026Updated last month
- Identity Alchemist: A powerful Python-based tool for generating and managing synthetic identities. Features machine learning integration,…☆11Feb 12, 2025Updated last year
- LVCS@Tesla.com☆12Jan 16, 2026Updated last month
- jmc: Java Model Checker☆37Sep 30, 2025Updated 4 months ago
- Open Source Risk Assessment Tool for Power Platform☆10Jul 21, 2025Updated 6 months ago
- A curated collection of courses, videos, and resources to master network security from the ground up.☆10Jan 6, 2025Updated last year
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆35Jan 15, 2026Updated last month
- A roblox tool to sell UGC Limiteds☆10Aug 9, 2025Updated 6 months ago
- Compose Multiplatform pdf generator for Android/iOS☆13Jan 9, 2025Updated last year
- Chatbot de WhatsApp para fluxo de conversa☆12Dec 29, 2024Updated last year
- A massive collection of Cybersecurity papers, guides and reports.☆10Jan 3, 2025Updated last year
- A Python package tailored for Django, djpro simplifies project creation and command execution, streamlining your workflow to save develop…☆10Mar 19, 2025Updated 10 months ago
- ☆10Mar 25, 2025Updated 10 months ago