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.
  ☆325Updated 9 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆108Updated 9 years ago
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆431Updated 9 years ago
• marssaxman / startc
  minimal freestanding C library for bare-metal i386 development
  ☆278Updated 9 years ago
• lpsantil / rt0
  A minimal C runtime for Linux i386 & x86_64
  ☆587Updated 3 years ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆340Updated 7 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆238Updated 2 years ago
• r0nk / ward
  state machine visual debugger
  ☆121Updated 10 years ago
• google / classp
  Classp -- a classier way to parse
  ☆169Updated 8 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆442Updated 3 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆487Updated 4 years ago
• capnproto / ekam
  Ekam Build System
  ☆233Updated 3 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆258Updated 5 years ago
• mewmew / dissection
  The dissection of a simple "hello world" ELF binary.
  ☆466Updated 5 years ago
• Keith-S-Thompson / how-to-c-response
  A critique of "How to C in 2016"
  ☆531Updated 3 years ago
• google / snappy-start
  Tool for launching a Linux process from a snapshot
  ☆450Updated 10 years ago
• eklitzke / c.sh
  Inline C/asm in Bash
  ☆253Updated 8 years ago
• rcorcs / rcc
  rcor C compiler (under development)
  ☆115Updated 8 years ago
• gto76 / comp-cpp
  Comp Mark I – Simple 4-bit virtual computer
  ☆344Updated last year
• thlorenz / visulator
  A machine emulator that visualizes how each instruction is processed
  ☆389Updated 8 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆85Updated 8 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 7 years ago
• antonmks / nvParse
  Fast, gpu-based CSV parser
  ☆563Updated 8 years ago
• leegao / float-hacks
  Floating Point Hacks
  ☆169Updated 8 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 5 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• eudoxia0 / magma
  Extending C with cmacro
  ☆343Updated 5 years ago
• CaptainCrowbar / unicorn-lib
  Unicode library for C++
  ☆226Updated 7 months ago
• davidad / 8queens
  x64 assembler solution to n-queens problem. Not tested for n!=8.
  ☆62Updated 4 years ago