chaz's new fpdb repo
☆49Apr 21, 2024Updated last year
Alternatives and similar repositories for fpdb-chaz
Users that are interested in fpdb-chaz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Free Poker DataBase development, with a focus on OSX.☆58Jan 9, 2018Updated 8 years ago
- Open Source Poker HUD☆41Mar 29, 2020Updated 6 years ago
- Implementation of counterfactual regret minimization (CFR) for Texas hold'em poker☆51Jun 23, 2021Updated 4 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 4 years ago
- RISC-V Specification in Coq☆13Sep 17, 2018Updated 7 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.
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Open source, multiplatform alternative to Authy. An authenticator and 2fa code generator to use across multiple devices and platforms in …☆13Dec 3, 2025Updated 4 months ago
- Source codes for Pyth Express Relay☆11Updated this week
- Reference sheet for the Coq language.☆17Sep 16, 2020Updated 5 years ago
- ☆13May 26, 2024Updated last year
- Utility for rlp-encoding and signing new EIP-2718 typed transactions for testing☆15Jul 11, 2024Updated last year
- Super-fast hand rank evaluator for Texas hold'em poker☆26Jun 2, 2022Updated 3 years ago
- A pretty-printing library in OCaml☆33Jun 17, 2020Updated 5 years ago
- Rust client library for Plaid, generated from Plaid's OpenAPI spec☆18Apr 24, 2025Updated 11 months ago
- 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.
- A Coq library providing tactics to deal with hypothesis☆23Apr 10, 2026Updated last week
- A web crawler which can get most popular goods in Tmall☆13Dec 18, 2016Updated 9 years ago
- Modular Relayer that works with multiple AMBs & Generalised Incentives☆15Oct 28, 2024Updated last year
- Decred wallet for Windows.☆12Jun 4, 2018Updated 7 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).☆19Aug 22, 2018Updated 7 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- Composable container for non-fungible Ethereum tokens. Compose your tokens to create on-chain collections, profitable loot-boxes and more…☆11Sep 10, 2023Updated 2 years ago
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Bedrock Bit Vector Library☆29Mar 18, 2026Updated last month
- Heads Up No Limit Poker Solver (Tipton)☆11Nov 18, 2020Updated 5 years ago
- An awesome list for those who are new to SF, visiting SF, and those who have lived in SF for years but want to see their city with new ey…☆14Jan 22, 2025Updated last year
- Correios integration plugin for nopCommerce to calculate the value and delivery time for an order☆12Nov 8, 2020Updated 5 years ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Jul 13, 2023Updated 2 years ago
- Idris, but it's C☆24May 25, 2018Updated 7 years ago
- A tiny lazy objective functional language☆19Sep 12, 2024Updated last year
- An implementation of CFR algorithm to solve Kuhn Poker.☆13Feb 6, 2020Updated 6 years ago
- Modify C++ test coverage reports to show uninstantiated templates☆19Jul 24, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The Koyeb Control Panel☆15Apr 6, 2026Updated last week
- Poker Database and HUD for online poker☆24Dec 15, 2012Updated 13 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- ☆24Nov 4, 2024Updated last year
- Data pertaining to the Nomad Bridge Hack☆24Dec 20, 2022Updated 3 years ago
- Maratona de Programação UnB (ICPC)☆14May 18, 2020Updated 5 years ago
- A app for a laundry conglomerate - Rinse☆11Jan 12, 2024Updated 2 years ago