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
• marssaxman / startc
  minimal freestanding C library for bare-metal i386 development
  ☆275Updated 9 years ago
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆429Updated 9 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆107Updated 8 years ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆341Updated 7 years ago
• lpsantil / rt0
  A minimal C runtime for Linux i386 & x86_64
  ☆584Updated 3 years ago
• r0nk / ward
  state machine visual debugger
  ☆121Updated 10 years ago
• capnproto / ekam
  Ekam Build System
  ☆231Updated 2 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆254Updated 5 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆238Updated last year
• mewmew / dissection
  The dissection of a simple "hello world" ELF binary.
  ☆464Updated 4 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
• google / classp
  Classp -- a classier way to parse
  ☆169Updated 8 years ago
• eklitzke / c.sh
  Inline C/asm in Bash
  ☆253Updated 8 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆485Updated 4 years ago
• ainfosec / crema
  Crema: A Sub-Turing Programming Language
  ☆66Updated 10 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 years ago
• antonmks / nvParse
  Fast, gpu-based CSV parser
  ☆561Updated 8 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
• leegao / float-hacks
  Floating Point Hacks
  ☆169Updated 8 years ago
• CaptainCrowbar / unicorn-lib
  Unicode library for C++
  ☆226Updated 3 months ago
• compiler-dept / speck
  A small unit testing framework for C
  ☆123Updated 7 years ago
• gto76 / comp-cpp
  Comp Mark I – Simple 4-bit virtual computer
  ☆343Updated last year
• sharow / libconcurrent
  Concurrent Programming Library (Coroutine) for C11
  ☆364Updated 3 years ago
• Keith-S-Thompson / how-to-c-response
  A critique of "How to C in 2016"
  ☆532Updated 3 years ago
• google / snappy-start
  Tool for launching a Linux process from a snapshot
  ☆450Updated 9 years ago
• wkoszek / cpu60
  Example of CPU simulation in software
  ☆159Updated 9 years ago
• cruppstahl / libfor
  A very fast scalar implementation for Frame Of Reference integer compression.
  ☆109Updated 9 years ago