A dead simple functional testing tool for command line applications
☆19Sep 9, 2023Updated 2 years ago
Alternatives and similar repositories for pharaoh
Users that are interested in pharaoh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Sep 24, 2025Updated 8 months ago
- 📄Source code variable naming using a seq2seq architecture☆10Mar 19, 2020Updated 6 years ago
- Client-server AI match maker used for the French national programming contest Prologin☆16Apr 15, 2023Updated 3 years ago
- Possibly the smallest compiler ever☆10Oct 2, 2017Updated 8 years ago
- Simplex algorithm course @Epita☆15Apr 1, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A user-mode network ("slirp") CNI plugin - container networking for unprivileged users☆18Nov 17, 2018Updated 7 years ago
- ☆12Jan 26, 2020Updated 6 years ago
- ☆12Jul 10, 2020Updated 5 years ago
- Official templates for Spin.☆17May 16, 2020Updated 6 years ago
- ppx_system is a syntax extension to known operating system at compile time☆12May 9, 2023Updated 3 years ago
- DEPRECATED - NOT MAINTAINED☆20Jan 17, 2018Updated 8 years ago
- Toy code, practising C++, CQRS and Event Sourcing☆13Jan 27, 2016Updated 10 years ago
- Gaining support for cargo via rustc-wrapper☆29Jun 14, 2023Updated 2 years ago
- Tools for analyzing ITM traces☆52Mar 24, 2022Updated 4 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.
- Adobe Reader DC Information Leak Exploit☆23Oct 13, 2022Updated 3 years ago
- automatically detect software supply chain smells and issues http://arxiv.org/pdf/2410.16049☆19Apr 14, 2026Updated last month
- Online tool to explore how different ppxs transform the input code☆19Oct 29, 2024Updated last year
- ☆16Jan 30, 2022Updated 4 years ago
- Substitutes a directory elsewhere on macOS by replacing system calls☆22Dec 2, 2025Updated 6 months ago
- Python package to install and utilize steamcmd☆12Jan 6, 2026Updated 5 months ago
- A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.☆14Dec 29, 2023Updated 2 years ago
- saphIR is an Intermediate Representation with amd64 and arm64 backends. Also included: a compiler, an arm64 lifter, an arm64 to amd64 dyn…☆34Feb 4, 2021Updated 5 years ago
- Some internal rustc tools made accessible☆47Oct 15, 2025Updated 7 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- relation query language, with typed embedding into OCaml☆16Feb 23, 2025Updated last year
- Small utility to convert simple puppet templates to jinja2 templates☆15Jan 24, 2017Updated 9 years ago
- Mutt patch management macros☆11Sep 12, 2023Updated 2 years ago
- Exploring the corners of OCaml type system☆18Apr 10, 2026Updated 2 months ago
- scripts and configurations for qemu-lite☆14Jun 17, 2016Updated 9 years ago
- A chess app written in Reason ♟️♟️♟️☆19Nov 18, 2019Updated 6 years ago
- GUI wayland screenshot tool not depending window manager.☆14Feb 28, 2021Updated 5 years ago
- Register Cluster-API clusters with Argo-CD☆31May 25, 2026Updated 2 weeks ago
- Self hosted and scalable VPN for Kubernetes☆21Jan 2, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Nomad cloud plugin for Jenkins☆13Dec 16, 2023Updated 2 years ago
- Vectrex Emulator☆22Mar 2, 2026Updated 3 months ago
- Frigate is a tool for automatically generating documentation for your Helm charts☆85Dec 10, 2024Updated last year
- An ocaml library for manipulating diffs.☆19Feb 12, 2024Updated 2 years ago
- [@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.☆22Jan 18, 2026Updated 4 months ago
- Friends of in-toto! A place to record integrations and adoptions of the in-toto specification.☆21Apr 6, 2026Updated 2 months ago
- django-fluentd allows you to use django's logging framework to log directly to a fluentd server of your choice.☆18Mar 16, 2014Updated 12 years ago