janestreet / perfetto
Frontend for magic-trace; forks https://ui.perfetto.dev
☆30Updated 6 months ago
Alternatives and similar repositories for perfetto:
Users that are interested in perfetto are comparing it to the libraries listed below
- Implementation of popular consensus protocols☆21Updated 4 years ago
- DRAT proof processor☆14Updated 2 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- a web page / paper☆18Updated 8 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated last year
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 8 years ago
- An AES-based 384 bit permutation.☆19Updated this week
- ☆19Updated 4 years ago
- Rust 256-bit unsigned integers.☆9Updated last year
- ☆21Updated 4 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 5 years ago
- Reproducing a bug in the Glibc condition variables using TLA+☆11Updated 2 years ago
- Link to this library and it will log all the LibC functions you are calling and how much time you are spending in them!☆18Updated 4 months ago
- ☆22Updated 2 years ago
- TLA+ specification of the Ceph consensus algorithm☆23Updated 2 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- A compiler for secure multiparty computation☆50Updated 8 years ago
- iOS app to test memory-level parallelism☆20Updated 5 years ago
- Documentation for the Ethereum LLL compiler☆11Updated last year
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 4 years ago
- ☆25Updated 8 years ago
- Wait-Free Eras (PPoPP '20)☆10Updated 5 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- Enable piping of internal command output to external commands☆71Updated 6 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- A ziglang implementation of the SSZ serialization protocol☆25Updated last week
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Actor-based Runtime Verification Tool☆17Updated 2 years ago
- Code Examples explained in QCon-London 2020 about TornadoVM☆24Updated 3 years ago
- Differential fuzzing for elliptic curves☆23Updated last year