Alternatives and similar repositories for stoke-release

Users that are interested in stoke-release are comparing it to the libraries listed below

• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆430Updated 9 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago
• marssaxman / startc
  minimal freestanding C library for bare-metal i386 development
  ☆275Updated 9 years ago
• lpsantil / rt0
  A minimal C runtime for Linux i386 & x86_64
  ☆584Updated 3 years ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆341Updated 7 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆237Updated last year
• mewmew / dissection
  The dissection of a simple "hello world" ELF binary.
  ☆463Updated 4 years ago
• r0nk / ward
  state machine visual debugger
  ☆120Updated 10 years ago
• capnproto / ekam
  Ekam Build System
  ☆232Updated 2 years ago
• google / classp
  Classp -- a classier way to parse
  ☆170Updated 8 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆481Updated 4 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆253Updated 5 years ago
• hlide / jitasm
  JIT Assembler Library for multiple ISAs
  ☆74Updated 10 years ago
• wkoszek / cpu60
  Example of CPU simulation in software
  ☆158Updated 9 years ago
• mattbierner / Template-Assembly
  Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.
  ☆186Updated 9 years ago
• eklitzke / c.sh
  Inline C/asm in Bash
  ☆253Updated 7 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• CaptainCrowbar / unicorn-lib
  Unicode library for C++
  ☆227Updated last week
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• jeaye / value-category-cheatsheet
  A C++14 cheat-sheet on lvalues, rvalues, xvalues, and more
  ☆406Updated 2 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆434Updated 2 years ago
• ademakov / Evenk
  A C++ library for concurrent programming
  ☆71Updated 4 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• cksystemsgroup / scalloc
  A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
  ☆163Updated 2 years ago
• farjump / fwtr
  Open Database of Firmware Test Results
  ☆150Updated 9 years ago
• kaigai / nvme-kmod
  A kernel module to support SSD-to-GPU direct DMA
  ☆126Updated 8 years ago
• abiggerhammer / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆286Updated 4 years ago
• andlabs / qo
  Another build system for C/C++, I guess? Inspired by 'go build'
  ☆302Updated 9 years ago