compiler-dept / speck
A small unit testing framework for C
☆122Updated 7 years ago
Alternatives and similar repositories for speck:
Users that are interested in speck are comparing it to the libraries listed below
- Cross Platform UNIX commands & System Calls☆120Updated 8 years ago
- A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.☆237Updated last year
- rcor C compiler (under development)☆115Updated 7 years ago
- Data structure server.☆182Updated 8 years ago
- Simple hash table implementation for C.☆217Updated 4 years ago
- A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.☆127Updated 9 years ago
- state machine visual debugger☆121Updated 10 years ago
- Concurrent Programming Library (Coroutine) for C11☆364Updated 3 years ago
- 🔄 Flexible C memory allocation scheme☆77Updated last month
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated 6 years ago
- minimal freestanding C library for bare-metal i386 development☆269Updated 8 years ago
- Snabb: simple and fast packet networking☆80Updated 5 years ago
- A very fast scalar implementation for Frame Of Reference integer compression.☆108Updated 9 years ago
- A minimal C runtime for Linux i386 & x86_64☆584Updated 2 years ago
- Simple command-line based calculator.☆57Updated 5 years ago
- Give pact several PIDs. When one PID dies, pact will kill all provided PIDs.☆190Updated 9 years ago
- echo prints the first positional argument to stdout☆59Updated 8 years ago
- Ulix, the Literate Unix☆178Updated 9 years ago
- Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.☆164Updated 9 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- A lightweight, embeddable scripting language☆150Updated 7 years ago
- WAFer is a C language-based software platform for scalable server-side and networking applications. Think node.js for C programmers.☆693Updated 7 years ago
- Cross platform C preprocessor and compiler.☆274Updated 9 years ago
- Debugging like a sir (in C)☆282Updated 9 years ago
- BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.☆112Updated 2 weeks ago
- C++11 Server framework provides many exciting features!☆52Updated 9 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- A simple re-implementation of Google's sparsehash as a learning excercise.☆40Updated last year
- Simple code generator☆248Updated 9 months ago
- A C++ library for concurrent programming☆71Updated 3 years ago