Property Based Testing for Ponylang π΄ βοΈ
β60Feb 26, 2022Updated 4 years ago
Alternatives and similar repositories for ponycheck
Users that are interested in ponycheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pony package for parsing, manipulating, and compiling Pony code.β36Nov 23, 2020Updated 5 years ago
- Linear Algebra library for Pony Languageβ24Feb 23, 2025Updated last year
- Pure pony PostgreSQL clientβ15Jul 4, 2017Updated 9 years ago
- Pure Pony Kafka clientβ60Apr 2, 2019Updated 7 years ago
- A simple dependency manager for the Pony language.β136May 12, 2020Updated 6 years ago
- Open source password manager - Proton Pass β’ AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- io_uring support for Ponyβ12Apr 21, 2023Updated 3 years ago
- WebSocket server for Ponylangπ΄β45Feb 15, 2024Updated 2 years ago
- Small Pony library for converting common objects to human-readable strings.β25Sep 28, 2021Updated 5 years ago
- A parser library for Pony.β17Feb 20, 2025Updated last year
- A simple HTTP web framework written in Ponyβ94Jul 31, 2025Updated last year
- Pony implementation of http://www.reactive-streams.org/β42Aug 13, 2026Updated 2 months ago
- Kickstart setting up your Pony library project. See USAGE.md for instructions.β26Sep 2, 2019Updated 7 years ago
- Pony dependency manager toolβ207Updated this week
- Game framework for creating DirectX games with Pony.β43Aug 21, 2016Updated 10 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.
- Pure Pony implementation of the ZeroMQ messaging library.β64Aug 20, 2022Updated 4 years ago
- Delta-State Convergent Replicated Data Types (αΊ-CRDTs) for the Pony language.β39Aug 6, 2019Updated 7 years ago
- Capβn Proto plugin for generating serializable Pony classes. - 'nβ19Apr 7, 2018Updated 8 years ago
- Pony version of https://github.com/VaughnVernon/DDDwithActorsβ20Oct 10, 2023Updated 3 years ago
- A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).β80Jul 12, 2021Updated 5 years ago
- Material for a workshop for learning about the Pony programming languageβ95Mar 15, 2023Updated 3 years ago
- Curated resources on the pony languageβ55Mar 15, 2020Updated 6 years ago
- PonyMUD - A multiplayer text adventure game written in Ponyβ11Aug 17, 2017Updated 9 years ago
- The Pony toolchain multiplexerβ221Updated this week
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- My first Pony app - multi-user telnet-based chatβ13Jul 9, 2017Updated 9 years ago
- A fast language for programmers who are passionate about their craft.β158Feb 7, 2026Updated 8 months ago
- Distributed Stream Processingβ1,486Sep 3, 2026Updated 2 months ago
- Exercism exercises in Pony.β38Sep 24, 2026Updated last month
- β12Sep 26, 2016Updated 10 years ago
- Language support for Pony in Atom.β15Mar 31, 2017Updated 9 years ago
- β11Aug 29, 2018Updated 8 years ago
- Zero-Overhead bare-metal GPGPU library for C++ on Windows.β15Jan 29, 2017Updated 9 years ago
- Pure Pony Postgres clientβ18Oct 29, 2026Updated last week
- 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.
- Cross-platform access to OS keyringβ16Feb 23, 2024Updated 2 years ago
- clojure.spec for Datomicβ13Sep 27, 2017Updated 9 years ago
- Language server for Ponyβ26Feb 5, 2026Updated 8 months ago
- An Erlang implementation of the Secure Scuttlebutt protocolβ19Oct 31, 2019Updated 7 years ago
- ooc development kit - collections, text manipulation, math, crypto, os - all nice and portableβ12Apr 19, 2010Updated 16 years ago
- Hex string/binary conversion utilities for Erlangβ12May 15, 2016Updated 10 years ago
- Pony is an open-source, actor-model, capabilities-secure, high performance programming languageβ6,216Updated this week