Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
-
Home of the operational semantics team, used primarily for procedural items
-
Library for Restartable Sequences
-
Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.
-
Proposal for removing the TLS errno variable from C++ for the standard math library
-
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
-
HTML5 version of StarCraft game
-
An unix-like toy kernel
-
minivm based on kvm
-
Vifm is a file manager with curses interface, which provides Vim-like environment for managing objects within file systems, extended with some useful ideas from mutt.