Property based testing framework based on QuickCheck
☆24Dec 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
Sorting:
- A simple StringBuilder in C☆15Apr 25, 2017Updated 8 years ago
- A toy game engine written in C for prototyping and goofing around.☆13Jun 14, 2023Updated 2 years ago
- because nobody really wants to eat boiled silkworms☆13Sep 4, 2017Updated 8 years ago
- A Pythonisation of the restart-based condition system from Common Lisp☆15Feb 25, 2018Updated 8 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Nov 29, 2015Updated 10 years ago
- common lisp milling software☆15Apr 10, 2012Updated 13 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- Remember the songs you heard and analyse your listening patterns☆16Sep 15, 2024Updated last year
- Image processing software wxOpenCV using OpenCV wxWidgets PLplot and OpenSceneGraph☆17Mar 14, 2023Updated 3 years ago
- Reminds yourself to keep your GitHub streak going (with a friendly email reminder)☆18Sep 30, 2015Updated 10 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- Clojure SPARQL library☆11Jan 18, 2017Updated 9 years ago
- OpenCompany Storage Service - store user generated content☆15Aug 26, 2022Updated 3 years ago
- Like multimethods but multidecorators.☆11Feb 19, 2020Updated 6 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Utility for showing hours worked within a work month against a target☆25Dec 30, 2025Updated 2 months ago
- ☆11Oct 31, 2020Updated 5 years ago
- ☆16Oct 10, 2016Updated 9 years ago
- Machinomy contracts managed by Truffle☆11May 19, 2018Updated 7 years ago
- A Clojure library for the Hadoop Distributed File System☆25Mar 31, 2016Updated 9 years ago
- Uses device manager peripheral with app context to identify the oldest bond☆10Jan 21, 2016Updated 10 years ago
- [INACTIVE]☆29May 3, 2016Updated 9 years ago
- Simple Vi like text editor☆32Sep 21, 2019Updated 6 years ago
- fast and incremental Levenshtein and LCS computation☆20Jun 23, 2016Updated 9 years ago
- MobileOrg Website☆17Sep 19, 2020Updated 5 years ago
- Clojure bindings for the original (C++) Bitcoin Client☆36Nov 6, 2018Updated 7 years ago
- Program multiple nRF5 devices concurrently with this nrfjprog inspired python module/exe☆11May 23, 2018Updated 7 years ago
- ☆18Feb 27, 2020Updated 6 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Jul 7, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/tastools☆17Feb 21, 2023Updated 3 years ago
- JavaScript Implementation of the IPLD format - Ethereum Block☆12Nov 20, 2017Updated 8 years ago
- State Machine Compiler☆15Jan 27, 2009Updated 17 years ago
- An arduino video game console that uses cartridges and has the same size as a standard business card☆11Aug 19, 2021Updated 4 years ago
- This tool allows to dump Lib-PSP iplloader's loader segment (or full binary on 0.4 and 0.6) using kbooti/bootdispi files as input☆11Jan 12, 2024Updated 2 years ago
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- Example on long write (long characteristic)☆12Sep 3, 2015Updated 10 years ago
- Build and sign passes for apple wallet☆12Aug 6, 2024Updated last year
- This repository contains a non-copying implementation of a sliding windows iterator adaptor.☆11Jun 17, 2017Updated 8 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Aug 9, 2025Updated 7 months ago