chaz's new fpdb repo
☆49Apr 21, 2024Updated 2 years ago
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:
- ☆20Dec 3, 2025Updated 5 months ago
- Free Poker DataBase development, with a focus on OSX.☆59Jan 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☆53Jun 23, 2021Updated 4 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years 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.
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- 从马蜂窝、大众点评、穷游、猫途鹰 抓取热门城市、POI☆11Nov 30, 2016Updated 9 years ago
- 🔏 Permit3: One-Click Cross-Chain Token Permissions☆17Nov 22, 2025Updated 5 months ago
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 8 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 5 months ago
- WeChat applet - Hollander Career Interest Test companion document☆11May 17, 2023Updated 3 years ago
- Reference sheet for the Coq language.☆17Sep 16, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A pretty-printing library in OCaml☆33Jun 17, 2020Updated 5 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 4 months ago
- Formalization of Linear Logic in Coq☆18Apr 9, 2026Updated last month
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated last month
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- Bedrock Bit Vector Library☆29Mar 18, 2026Updated 2 months ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Jul 13, 2023Updated 2 years 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.
- Idris, but it's C☆24May 25, 2018Updated 7 years ago
- Compare the quality of multiple genomes, along with their annotations.☆20May 7, 2026Updated last week
- Helm charts for Clearbit services☆13May 9, 2022Updated 4 years ago
- 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 9 months ago
- The Add Projects extension is a simple Visual Studio extension that makes it easy to add multiple projects to your solution.☆25May 10, 2022Updated 4 years ago
- Poker Database and HUD for online poker☆25Dec 15, 2012Updated 13 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- A tiny wrapper around the n26 banking api☆18Nov 11, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Maratona de Programação UnB (ICPC)☆14May 18, 2020Updated 6 years ago
- Python and Pygame course for programming Psychology Experiments☆17Dec 19, 2019Updated 6 years ago
- Optimized, portable implementations of BLAKE2b☆25Feb 5, 2016Updated 10 years ago
- Keeps a directed acyclic graph topologically sorted each time you add an edge or vertex.☆12Sep 22, 2018Updated 7 years ago
- Automatically interact with SVG charts.☆19Sep 23, 2025Updated 7 months ago
- ☆13Feb 10, 2023Updated 3 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Apr 7, 2026Updated last month