nivox / quickcheck4cLinks
Property based testing framework based on QuickCheck
☆24Updated 8 years ago
Alternatives and similar repositories for quickcheck4c
Users that are interested in quickcheck4c are comparing it to the libraries listed below
Sorting:
- Easy cross-compilation of compiler-rt for bare metal ARM targets☆22Updated 8 years ago
- A modular shell☆17Updated 10 years ago
- empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs☆9Updated 9 years ago
- QuickCheck-like property based automated testing tool for C++☆111Updated 8 years ago
- Extremely minimal C unit test framework, used by Libevent and Tor☆47Updated 7 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 13 years ago
- a tool for querying Dwarf (debuginfo) graphs☆55Updated last year
- Comparison of build program expressive power☆88Updated 5 years ago
- compiler☆36Updated 10 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- Buildsome: The awesome build system☆53Updated 2 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 11 years ago
- Haskell IRC daemon.☆141Updated 8 years ago
- Production Performance Telemetry☆21Updated 4 years ago
- Header-only C++17 library for property-based testing.☆127Updated last year
- KnightOS C compiler☆25Updated 4 years ago
- Python bindings for libgccjit.so☆48Updated 9 years ago
- Fast interpreter with macros, local type inference, LLVM backend.☆163Updated 6 years ago
- Supervision Framework - init-system and service-manager; mirror of https://gitlab.com/tokiclover/supervision☆14Updated 6 years ago
- ☆23Updated 9 years ago
- IP stack written in Dylan - includes binary parsing and interactive GUI☆25Updated 11 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 8 years ago
- portable libc optimized for code size and readability☆82Updated 8 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- A (Haskell DSL) stream language for generating hard real-time C code.☆150Updated 6 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 9 months ago
- A library that allows processes to waive their rights☆27Updated 9 years ago
- BSD Licensed Bignum Library☆232Updated last year
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago