Property based testing in Lua, inspired by the original QuickCheck.
☆41Jan 30, 2022Updated 4 years ago
Alternatives and similar repositories for lua-quickcheck
Users that are interested in lua-quickcheck are comparing it to the libraries listed below
Sorting:
- ☆12Dec 30, 2020Updated 5 years ago
- Lua coroutines that allow nesting☆31Mar 26, 2022Updated 3 years ago
- A set of pure lua, independent functions.☆18Jul 20, 2025Updated 7 months ago
- Tiny Teal / Lua test helper.☆22Oct 15, 2025Updated 4 months ago
- Various payment provider APIs for Lua (and OpenResty): Stripe, PayPal☆70Mar 30, 2022Updated 3 years ago
- A playground for Lua web API toolkit.☆13May 21, 2022Updated 3 years ago
- FastCGI for Lua☆12Sep 28, 2025Updated 5 months ago
- Pure lua implementation of utf8proc and a few more unicode utilities☆13Jun 11, 2015Updated 10 years ago
- Customizeable network front-ends for mail servers☆21Sep 28, 2018Updated 7 years ago
- Lua debugger and interpreter☆27Oct 3, 2018Updated 7 years ago
- Extended PEG Notation Format (easy grammars for LPeg)☆25Jan 20, 2024Updated 2 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Lua C binding for the Argon2 password hashing algorithm☆24Mar 29, 2023Updated 2 years ago
- Lua data library☆38Sep 8, 2020Updated 5 years ago
- Mbed TLS module for Lua☆12Jun 27, 2022Updated 3 years ago
- Tiny module for accessing random bytes☆11Dec 29, 2020Updated 5 years ago
- Tarantool test framework written in Lua☆41Dec 30, 2025Updated 2 months ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- Framework for distributed system's verification, with fault injection.☆10Jan 6, 2026Updated last month
- A C binding toolkit for Lua☆27Jul 19, 2020Updated 5 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Oct 9, 2025Updated 4 months ago
- LuaCov reporter for coveralls.io service☆48Apr 6, 2022Updated 3 years ago
- Protocol Buffers, JSON, XML data serialization system for OCaml☆39Aug 5, 2022Updated 3 years ago
- The world fastest JSON parser ported to Lua☆10Oct 9, 2015Updated 10 years ago
- Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star …☆20Apr 23, 2021Updated 4 years ago
- ☆13Feb 23, 2023Updated 3 years ago
- Lua library for computing with physical quantities.☆12Jan 7, 2023Updated 3 years ago
- TLS client program☆11Jun 10, 2020Updated 5 years ago
- OpenMP GPU Accelerated Applications☆13Nov 20, 2025Updated 3 months ago
- Metric collection library for Tarantool☆40Updated this week
- 六边形网格地图寻路☆12May 9, 2022Updated 3 years ago
- Lua binding to libuv☆68Jan 7, 2021Updated 5 years ago
- Lua bindings to Mailgun HTTP API☆25Apr 8, 2022Updated 3 years ago
- Key-value git-like storage with full history backed by RocksDB☆13Aug 18, 2020Updated 5 years ago
- url string utility☆14Sep 12, 2022Updated 3 years ago
- iproto cli tools☆11Jan 2, 2018Updated 8 years ago
- Skynet ports to Windows (Visual Studio Version)☆12Nov 28, 2022Updated 3 years ago
- Paranoid Lua programming☆15Mar 4, 2024Updated last year
- ZeroMQ 4.x.x+ binding for Lua☆15Nov 4, 2017Updated 8 years ago