Property based testing framework based on QuickCheck
☆25Dec 7, 2016Updated 9 years ago
Alternatives and similar repositories for quickcheck4c
Users that are interested in quickcheck4c are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool for investigating memory of a process on linux.☆18Aug 19, 2016Updated 10 years ago
- C str to us / ms utilities☆18Dec 23, 2014Updated 11 years ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆651Dec 17, 2020Updated 5 years ago
- A library to implement host-based HTTP reverse-proxy in Golang.☆14Jul 27, 2014Updated 12 years ago
- because nobody really wants to eat boiled silkworms☆13Sep 4, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A decoder/encoder library for the FAST protocol in haskell.☆15May 31, 2013Updated 13 years ago
- Python script to archive all images/videos of a 4chan thread☆13May 24, 2021Updated 5 years ago
- Installation Setup☆19Apr 15, 2026Updated 4 months ago
- A Pythonisation of the restart-based condition system from Common Lisp☆15Feb 25, 2018Updated 8 years ago
- core.nlp : NLP programming API for Clojure☆15Dec 10, 2015Updated 10 years ago
- Classroom demonstration of costly state verification in finance☆16Mar 30, 2015Updated 11 years ago
- Desktop display for foreign exchangerates and local times☆10Aug 23, 2026Updated last week
- A Common Lisp Instant Messaging Client.☆12Nov 17, 2022Updated 3 years ago
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- The folio library of functional utilities for Common Lisp. folio provides a convenient subset of Bard semantics for use in Common Lisp pr…☆15Jan 27, 2013Updated 13 years ago
- A simple and lightweight console.log replacement with some extra bonuses☆15Feb 24, 2015Updated 11 years ago
- Shen implementation in Haskell☆16Aug 19, 2013Updated 13 years ago
- Posts a picture to a channel every X minutes from a queue. The user can set multiple admins, the delay can be any number of minutes, and …☆16Apr 2, 2019Updated 7 years ago
- Reminds yourself to keep your GitHub streak going (with a friendly email reminder)☆18Sep 30, 2015Updated 10 years ago
- ☆16Nov 18, 2022Updated 3 years ago
- Amazon Web Service access from Common Lisp☆16Mar 12, 2015Updated 11 years ago
- minicom is too complicated. This command talks to a serial port.☆17Jun 30, 2012Updated 14 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Next generation libstorage☆29Aug 22, 2026Updated last week
- Template application with OTA capability for https://github.com/espressif/esp-idf☆12Sep 7, 2017Updated 8 years ago
- openSUSE Installation Images☆24May 7, 2026Updated 3 months ago
- OpenCompany Storage Service - store user generated content☆15Aug 26, 2022Updated 4 years ago
- Intervals and interval trees for Common Lisp☆21Oct 31, 2018Updated 7 years ago
- A (toy) library for interfacing with stripe.com from Common Lisp☆16Apr 9, 2013Updated 13 years ago
- Common Lisp implementation of RFC 4122 -- not unlike UUID☆19Oct 6, 2021Updated 4 years ago
- ☆14Dec 4, 2014Updated 11 years ago
- Like multimethods but multidecorators.☆11Feb 19, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- High-level wrapper around libxml2 and libxslt libraries☆15Dec 4, 2022Updated 3 years ago
- Haskell Sendgrid v3 API Library☆15May 5, 2026Updated 3 months ago
- Utility for showing hours worked within a work month against a target☆25Mar 30, 2026Updated 5 months ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Yet-Another Firewall For OSX☆15Dec 20, 2013Updated 12 years ago
- ☆13Aug 26, 2024Updated 2 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago