janestreet / perfetto
Frontend for magic-trace; forks https://ui.perfetto.dev
☆29Updated 2 months ago
Alternatives and similar repositories for perfetto:
Users that are interested in perfetto are comparing it to the libraries listed below
- measure entropy of memory allocators☆12Updated 3 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 5 years ago
- Code Examples explained in QCon-London 2020 about TornadoVM☆24Updated 3 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated last year
- A tiny nearest-neighbor embedding database written in C☆19Updated last year
- A collection of useful TLA+ operators☆21Updated 6 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆36Updated 6 years ago
- A ziglang implementation of the SSZ serialization protocol☆22Updated 2 weeks ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- egg is a flexible, high-performance e-graph library☆11Updated 9 months ago
- Java Dissassembler☆16Updated 5 years ago
- The latest development version of rose. It may not pass all regression tests.☆108Updated 5 years ago
- A C library for tracking metrics☆17Updated 2 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆19Updated 3 months ago
- ☆21Updated 2 years ago
- Poireau: a sampling allocation debugger☆86Updated 2 years ago
- Actor-based Runtime Verification Tool☆15Updated last year
- ☆21Updated 4 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆17Updated 7 years ago
- ☆22Updated 2 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 4 years ago
- ☆27Updated 5 years ago
- Production Performance Telemetry☆21Updated 4 years ago
- TLA+ specification of the Ceph consensus algorithm☆22Updated 2 years ago
- Open-source, Cloud-native Streams☆13Updated 3 years ago
- Structural (non-cryptographic) Python implementation of the Avalanche algorithm by TeamRocket☆15Updated 6 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 4 years ago