A very minimal implementation of the core idea of Hypothesis
☆146Jul 5, 2024Updated last year
Alternatives and similar repositories for minithesis
Users that are interested in minithesis are comparing it to the libraries listed below
Sorting:
- Easy scripting for DrRacket☆18Feb 21, 2026Updated 2 weeks ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- Structured shrinking of unknown file formats☆96Jul 11, 2017Updated 8 years ago
- Adaptive fuzzing of Hypothesis tests☆114Dec 8, 2025Updated 2 months ago
- Java Class file parser and analyzer written in Clojure☆14Dec 2, 2019Updated 6 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- Benchmarking environment for http servers☆22Jan 9, 2026Updated last month
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- An Implementation of Raft in Janet☆21Aug 11, 2020Updated 5 years ago
- ☆12Aug 4, 2020Updated 5 years ago
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago
- The property-based testing library for Python☆8,476Updated this week
- Tiny Forth-like language implementation☆25Apr 14, 2024Updated last year
- An introduction to the J programming language that gets to the point.☆70Dec 6, 2025Updated 3 months ago
- Emacs Fuzzy Finder☆52Aug 14, 2022Updated 3 years ago
- Succinct, compact, and compressed data structures for data-intensive applications☆62Sep 25, 2020Updated 5 years ago
- A grammar of data manipulation for Racket.☆20Aug 26, 2025Updated 6 months ago
- Use Git and coverage data to run only needed tests☆21Jan 18, 2025Updated last year
- A small, statically typed, low-level programming language.☆24Sep 8, 2025Updated 5 months ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated last year
- Notes and samples for Python performance talk☆10Feb 17, 2022Updated 4 years ago
- Streamline your web dev experience with stella - reload commands on the terminal as well as URL on the browser.☆14Jul 15, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Site for unified☆45Updated this week
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 2 years ago
- ☆24Feb 26, 2023Updated 3 years ago
- Zig Optimizing Backend☆25Jun 8, 2025Updated 8 months ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Jan 23, 2020Updated 6 years ago
- Proving leftpad correct two-dozen different ways☆721Feb 18, 2026Updated 2 weeks ago
- The Brown Benchmark for Table Types (B2T2)☆67Jul 27, 2025Updated 7 months ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Price options by fitting a Lévy distribution☆10Jan 20, 2021Updated 5 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- A simple IOS application that uses mobilenet to classify 1000 different images from an IOS device's video camera.☆11Aug 5, 2019Updated 6 years ago
- A standalone implementation of PEP 735 Dependency Groups☆13Updated this week
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago