compiler-dept / speck

Related projects ⓘ

Alternatives and complementary repositories for speck

• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆237Updated last year
• symisc / libcox
  Cross Platform UNIX commands & System Calls
  ☆119Updated 8 years ago
• rcorcs / rcc
  rcor C compiler (under development)
  ☆115Updated 7 years ago
• r0nk / ward
  state machine visual debugger
  ☆122Updated 9 years ago
• sharow / libconcurrent
  Concurrent Programming Library (Coroutine) for C11
  ☆361Updated 3 years ago
• mulle-c / mulle-allocator
  🔄 Flexible C memory allocation scheme
  ☆77Updated this week
• ral99 / knuckleball
  Data structure server.
  ☆182Updated 8 years ago
• lukego / snabb
  Snabb: simple and fast packet networking
  ☆80Updated 5 years ago
• watmough / jwHash
  Simple hash table implementation for C.
  ☆216Updated 4 years ago
• wkoszek / cpu60
  Example of CPU simulation in software
  ☆156Updated 9 years ago
• kelseyhightower / echo
  echo prints the first positional argument to stdout
  ☆59Updated 7 years ago
• foretspaisibles / bsdowl
  A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.
  ☆102Updated 5 years ago
• nickodell / pact
  Give pact several PIDs. When one PID dies, pact will kill all provided PIDs.
  ☆190Updated 8 years ago
• marssaxman / startc
  minimal freestanding C library for bare-metal i386 development
  ☆268Updated 8 years ago
• RaphaelJ / rusty
  A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.
  ☆127Updated 9 years ago
• sustrik / ribosome
  Simple code generator
  ☆248Updated 5 months ago
• cruppstahl / libfor
  A very fast scalar implementation for Frame Of Reference integer compression.
  ☆108Updated 9 years ago
• qpfiffer / Simple-Sparsehash
  A simple re-implementation of Google's sparsehash as a learning excercise.
  ☆40Updated 8 months ago
• warriorguo / zertcore5
  C++11 Server framework provides many exciting features!
  ☆53Updated 9 years ago
• ronsoros / rvm
  simple virtual machine and assembler
  ☆220Updated 7 years ago
• lpsantil / rt0
  A minimal C runtime for Linux i386 & x86_64
  ☆581Updated 2 years ago
• HuoLanguage / huo
  interpreted language written in C
  ☆212Updated 3 years ago
• incrediblesound / Graph-Reply
  A graph based REPL that saves to and loads from disk
  ☆44Updated 9 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• riolet / longs
  URL Shortener built on top of WAFer
  ☆183Updated 7 years ago