DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
โ17Jan 1, 2022Updated 4 years ago
Alternatives and similar repositories for DistAI
Users that are interested in DistAI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of Polymorphic Gradual Typingโ12Sep 16, 2018Updated 7 years ago
- ๐ [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang โฆโ16Oct 13, 2022Updated 3 years ago
- Map2Check: Finding Software Vulnerabilitiesโ30Nov 13, 2020Updated 5 years ago
- A Rocq version of the miniF2F datasetโ23Apr 8, 2026Updated 3 weeks ago
- Examples for TLAPS (TLA+ Proof System)โ16May 9, 2020Updated 5 years 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.
- โ26Jul 8, 2021Updated 4 years ago
- llvm2KITTeLโ20Feb 16, 2017Updated 9 years ago
- Automatic regression verification for LLVM programsโ20Jul 16, 2021Updated 4 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.โ38Apr 22, 2026Updated last week
- โ14Mar 29, 2020Updated 6 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuffโ14Dec 10, 2020Updated 5 years ago
- Vibe coding in emacs with ampโ20Jun 15, 2025Updated 10 months ago
- Haskell experiments involving TVM AI frameworkโ20Apr 26, 2019Updated 7 years ago
- Dependently typed lambda calculus - A Simple Proof Assistantโ12Sep 3, 2020Updated 5 years ago
- 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.
- A router IP written in Verilog.โ12Dec 20, 2019Updated 6 years ago
- Interesting ATP Proofsโ13Sep 3, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.โ13Apr 21, 2026Updated last week
- Yet another haskell term rewriting libraryโ18Aug 27, 2025Updated 8 months ago
- Latest PASTE (NSDI'18) repositoryโ13May 2, 2022Updated 3 years ago
- Equivalent and redundant mutant detection with e-graphs!!!โ13Jun 14, 2023Updated 2 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rustโ62Jan 11, 2026Updated 3 months ago
- AE-solver and Skolemizerโ17Dec 9, 2024Updated last year
- Racket Equivalence Graph Libraryโ19May 24, 2022Updated 3 years ago
- 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.
- Connection provers in Rustโ14Mar 13, 2024Updated 2 years ago
- Quasi-quoting library for agdaโ18Nov 29, 2024Updated last year
- Large language models to diffusion finetuning codeโ26Jun 2, 2025Updated 10 months ago
- โ11Jan 17, 2023Updated 3 years ago
- โ15Oct 21, 2020Updated 5 years ago
- ใใซใๅ ่ผฉใจใใฃใใใซไปฃๆฐ๏ผใใงไฝฟใฃใใณใผใใฎๅฎ่กๅฏ่ฝใชๅ จๆ๏ผ`stack runghc`๏ผโ14Nov 7, 2018Updated 7 years ago
- A hardware accelerated IP packet forwarder running on programmable ICsโ15Jan 21, 2023Updated 3 years ago
- Personal course notes (in Chinese) for THU CST.โ13Jun 23, 2018Updated 7 years ago
- Web version of the MiniDecaf compiler.โ13Sep 17, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer โข AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- โ11Aug 5, 2020Updated 5 years ago
- Towards changing things and see if it proofsโ61Jul 12, 2021Updated 4 years ago
- โ13Jun 12, 2024Updated last year
- A cyclic theorem prover framework.โ32Aug 21, 2025Updated 8 months ago
- A LaTeX template for academic posters with Tsinghua University logoโ14Nov 18, 2022Updated 3 years ago
- Hash-based Diffing for AST'sโ78Apr 16, 2020Updated 6 years ago
- A formalisation of the Calculus of Constructionsโ71Jul 24, 2024Updated last year