janestreet / perfetto
Frontend for magic-trace; forks https://ui.perfetto.dev
☆29Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for perfetto
- Implementation of popular consensus protocols☆22Updated 4 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 4 years ago
- Formalization of FLP Impossibility Theorem☆18Updated 9 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- PL Reading Group Website☆14Updated this week
- Verification-Driven Development☆21Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆15Updated 2 years ago
- A tiny nearest-neighbor embedding database written in C☆19Updated last year
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 7 years ago
- DRAT proof processor☆13Updated last year
- a web page / paper☆18Updated 7 years ago
- Shared Lurk source code, including tests and library code.☆18Updated 8 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- ☆22Updated last year
- A simple program reducer for any language.☆73Updated last year
- Optimized Binary GCD for Modular Inversion☆41Updated 4 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- ☆14Updated 7 years ago
- Reversing Ewasm (Ethereum WebAssembly) contract 101 - Workshop☆18Updated 4 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 5 years ago
- Production Performance Telemetry☆21Updated 4 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- A small test for multithreaded C++ stack unwinding on unixes☆15Updated 4 years ago
- ☆14Updated 9 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago