leviathan0992 / Learn-TLA-cnView external linksLinks
[WIP]TLA+教程中文翻译
☆49Jul 21, 2018Updated 7 years ago
Alternatives and similar repositories for Learn-TLA-cn
Users that are interested in Learn-TLA-cn are comparing it to the libraries listed below
Sorting:
- ☆14Apr 1, 2023Updated 2 years ago
- Linux Network Speed Monitor☆10Apr 30, 2015Updated 10 years ago
- ☆10Aug 9, 2020Updated 5 years ago
- learn linux for notes☆12Jan 28, 2021Updated 5 years ago
- Intro to Rust talk☆15Dec 7, 2022Updated 3 years ago
- Student files for CS245 Programming Assignment 1: In-memory data layout☆13Nov 16, 2022Updated 3 years ago
- A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb☆42Apr 29, 2020Updated 5 years ago
- CodeQL library and queries for iterator invalidation☆22May 5, 2021Updated 4 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 7 years ago
- asnfuzzgen - ASN.1 Structure-Aware Fuzzing Compiler☆52Aug 27, 2024Updated last year
- A Rust library for iterating over random permutations.☆14Jun 15, 2021Updated 4 years ago
- Simple Parser Combinators in Go☆15Nov 5, 2018Updated 7 years ago
- 一个中文版本的 LibAFL 笔记,主要内容是 LibAFL 原理相关的内容,同时也附加一些 LibAFL 使用方面的 tips ,方便查阅和参考。☆35Nov 22, 2023Updated 2 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆847Apr 18, 2022Updated 3 years ago
- 🥼 personal Go codebase☆38Dec 31, 2022Updated 3 years ago
- The website for RustCon Asia 2018 in Beijing, China.☆34Feb 1, 2021Updated 5 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- Enable bluetooth discoverability is android studio☆10Nov 5, 2016Updated 9 years ago
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 3 years ago
- 介绍金融级分布式系统的 理论和实践基础☆11Aug 8, 2020Updated 5 years ago
- C++ stackless coroutine library . Support for TCP, UDP, HTTP, HTTP2, mysqlclient, kafkaclient, zookeeper with full coroutine-driven archi…☆16Updated this week
- the centralized smart contract platform☆14Jan 5, 2025Updated last year
- cs140e winter 2019 class materials.☆138Jan 29, 2020Updated 6 years ago
- A collection of TLA⁺ specifications of varying complexities.☆1,449Updated this week
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- Implementation of the Arm CCA attestation token in Rust☆13Sep 23, 2025Updated 4 months ago
- PDF Analyzer and Render Comparer☆11May 6, 2022Updated 3 years ago
- This repo contains the source code for https://pest.rs☆13Feb 1, 2026Updated last week
- PPT of my talks.☆13Jun 23, 2025Updated 7 months ago
- Rust 官方文档翻译(Chinese translation of Rust official documentation)☆16May 14, 2015Updated 10 years ago
- Example of an ELF parser to learn about the ELF format☆10Oct 6, 2024Updated last year
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- ☠️ Code for the Hackfest Workshop☆10Oct 12, 2024Updated last year
- Slides about the Rust in the blockchain industry☆10Dec 7, 2022Updated 3 years ago
- ☆10Oct 20, 2016Updated 9 years ago
- a distributed computation platform for running Python and Bash computation tasks on multiple nodes☆12Mar 19, 2025Updated 10 months ago
- python-actors☆25Aug 29, 2013Updated 12 years ago
- C# code generator for reading and writing the protocol buffers format☆14Aug 11, 2025Updated 6 months ago
- Solana Leader TPU List and Event Stream☆32Feb 3, 2026Updated last week