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 9 years ago
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆429Updated 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
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆239Updated last year
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆341Updated 7 years ago
• lpsantil / rt0
  A minimal C runtime for Linux i386 & x86_64
  ☆585Updated 3 years ago
• google / classp
  Classp -- a classier way to parse
  ☆169Updated 8 years ago
• mewmew / dissection
  The dissection of a simple "hello world" ELF binary.
  ☆464Updated 4 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆482Updated 4 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆254Updated 5 years ago
• capnproto / ekam
  Ekam Build System
  ☆231Updated 2 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆436Updated 2 years ago
• r0nk / ward
  state machine visual debugger
  ☆120Updated 10 years ago
• ainfosec / crema
  Crema: A Sub-Turing Programming Language
  ☆66Updated 9 years ago
• Gladdy / EasyOpenCL
  The easiest way to get started with OpenCL!
  ☆309Updated 9 years ago
• eklitzke / c.sh
  Inline C/asm in Bash
  ☆253Updated 7 years ago
• leegao / float-hacks
  Floating Point Hacks
  ☆168Updated 7 years ago
• gto76 / comp-cpp
  Comp Mark I – Simple 4-bit virtual computer
  ☆344Updated last year
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 years ago
• wkoszek / cpu60
  Example of CPU simulation in software
  ☆158Updated 9 years ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 5 years ago
• rcorcs / rcc
  rcor C compiler (under development)
  ☆115Updated 8 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• CaptainCrowbar / unicorn-lib
  Unicode library for C++
  ☆226Updated last month
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• marcandrysco / Errol
  Binary floating-point to decimal string conversion algorithm.
  ☆104Updated 7 years ago
• sharow / libconcurrent
  Concurrent Programming Library (Coroutine) for C11
  ☆365Updated 3 years ago
• antonmks / nvParse
  Fast, gpu-based CSV parser
  ☆563Updated 8 years ago
• google / snappy-start
  Tool for launching a Linux process from a snapshot
  ☆449Updated 9 years ago