A mental poker implementation of Texas Hold'em
☆29Jul 18, 2026Updated last month
Alternatives and similar repositories for mental-texas-holdem
Users that are interested in mental-texas-holdem are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A blockstore for distributing load☆11Oct 10, 2023Updated 2 years ago
- ☆13Jul 19, 2024Updated 2 years ago
- ☆12Sep 8, 2017Updated 9 years ago
- Starknet Unity SDK lets game developers to integrate Starknet blockchain functionality into their Unity projects with ease.☆13Jun 20, 2025Updated last year
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Jan 24, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Vanity address generator for Ethereum☆18Mar 15, 2024Updated 2 years ago
- Strategic City Development game built on MINA blockchain☆15Jan 14, 2026Updated 7 months ago
- List of zkApps and other applications that are built on Mina / o1js.☆15Jan 8, 2024Updated 2 years ago
- An old tutorial for using `Effects` in Idris.☆24Sep 10, 2015Updated 10 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- suckless ramdisk tool for iOS8+☆31Dec 1, 2020Updated 5 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆30Oct 25, 2022Updated 3 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 9 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.
- ☆11Dec 3, 2023Updated 2 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 9 years ago
- ☆11Jan 6, 2023Updated 3 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 years ago
- ☆40Jun 20, 2023Updated 3 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Oct 17, 2018Updated 7 years ago
- Noir implementation of BattleZips circuits☆28May 14, 2023Updated 3 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.
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 7 months ago
- ☆19May 4, 2026Updated 4 months ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated last year
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 8 years ago
- ☆26Feb 20, 2025Updated last year
- Core rendering system of ragnar☆18May 31, 2026Updated 3 months ago
- Workshop materials for building a frontend application using Starknet, Next.js, and Starknet-react, including hands-on steps to interact …☆34Sep 12, 2024Updated last year
- freer monads and cofreer comonads.☆24Jun 26, 2018Updated 8 years ago
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 6 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.
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 9 years ago
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Jul 24, 2024Updated 2 years ago
- ☆18Nov 18, 2020Updated 5 years ago
- Rust Code for CELPC☆20Mar 28, 2025Updated last year
- ☆18Feb 24, 2014Updated 12 years ago
- A command-line URL parser, written in Go☆11Jul 17, 2017Updated 9 years ago
- A formal moral framework coded in Haskell☆50Mar 2, 2015Updated 11 years ago