Automated multicore scalability testing tool
☆88Jan 16, 2016Updated 10 years ago
Alternatives and similar repositories for commuter
Users that are interested in commuter are comparing it to the libraries listed below
Sorting:
- POSIX-like scalable multicore research OS kernel☆197Apr 16, 2020Updated 5 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Apr 10, 2024Updated last year
- Memory access tracing QEMU☆100Jan 19, 2017Updated 9 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- A Fortran language frontend for LLVM☆26Sep 7, 2013Updated 12 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12May 7, 2016Updated 9 years ago
- ☆13Mar 1, 2020Updated 6 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).☆79Mar 19, 2022Updated 3 years ago
- Go driver for Kafka☆43Mar 12, 2018Updated 7 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆64Apr 14, 2023Updated 2 years ago
- https://regexcrossword.com/ solver using Z3py☆20Jan 14, 2022Updated 4 years ago
- Reference Xcode project to build iOS apps with Go☆18Jun 17, 2015Updated 10 years ago
- Heterogeneous Active Messages C++ library☆21Nov 8, 2019Updated 6 years ago
- Caffe deep learning framework - optimized for Xeon Phi☆14May 12, 2015Updated 10 years ago
- Golang based U2F Server/Authenticator☆23Nov 9, 2014Updated 11 years ago
- Library wrapper and system-level tracing utilities☆47Feb 22, 2017Updated 9 years ago
- This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.☆81Dec 10, 2017Updated 8 years ago
- Prana is a library providing a generic AST data structure called utree☆25Jun 12, 2011Updated 14 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Jan 5, 2025Updated last year
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Nov 24, 2015Updated 10 years ago
- Fast autodiff.☆20Jan 29, 2015Updated 11 years ago
- ☆23Dec 16, 2015Updated 10 years ago
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 10 years ago
- Arnold source code☆47Nov 27, 2018Updated 7 years ago
- A binary analysis tool for linux☆71Jun 2, 2020Updated 5 years ago
- A(nother) Binary Analysis Framework☆30Jun 10, 2014Updated 11 years ago
- A Z3-Based String Constraint Solver☆87Jan 1, 2020Updated 6 years ago
- Dumb self-contained scrypt implementation☆25Jan 26, 2017Updated 9 years ago
- Python library for RedFish RESTful API☆21Feb 7, 2022Updated 4 years ago
- Hodor-PKU☆26Sep 14, 2021Updated 4 years ago
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- Repeated access to L2-containable loops to look for snoop filter conflicts on Intel Skylake Xeon processors.☆29Aug 17, 2018Updated 7 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- minimal symbolic model checker & fuzzer☆114May 27, 2015Updated 10 years ago
- Z3 Symbolic Execution python☆28Dec 28, 2017Updated 8 years ago
- JIT Assembler Library for multiple ISAs☆77Jan 24, 2015Updated 11 years ago