A mental poker implementation of Texas Hold'em
☆28Jul 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:
- ☆12Sep 8, 2017Updated 8 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 4 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
- Attendance Machine Library for NodeJS with a connection to the network using the UDP protocol and port 4370☆11Mar 1, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Machine Learning Guide☆12Oct 18, 2023Updated 2 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 9 years ago
- A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies☆15Oct 14, 2022Updated 3 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
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated last year
- An implementation of "Freer Monads, More Extensible Effects".☆20Oct 17, 2018Updated 7 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.
- Replays log files at a given speed☆19Nov 5, 2025Updated 9 months ago
- Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"☆21Feb 19, 2023Updated 3 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated 11 months ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 6 months ago
- Un gestor de archivos PHP completamente funcional, con una interfaz moderna, soporte para carga de archivos, creación de carpetas, descar…☆15Feb 13, 2026Updated 6 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
- Core rendering system of ragnar☆18May 31, 2026Updated 2 months ago
- open git diffs in browser, add comments & send all to agent☆25Aug 9, 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.
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 6 years ago
- Disciplined Convex Programming in Haskell☆23Mar 19, 2024Updated 2 years ago
- A browser based horse racing game inspired by Horse Race 1.0 for Mac☆15Sep 16, 2025Updated 11 months ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Aug 19, 2018Updated 7 years ago
- ☆18Nov 18, 2020Updated 5 years ago
- Rust Code for CELPC☆20Mar 28, 2025Updated last year
- ☆18Feb 24, 2014Updated 12 years ago
- Packet Batch is a packet generator tool used for pen-testing, network monitoring, and more. This is the Rust version of the tool and the …☆17May 14, 2026Updated 3 months ago
- A command-line URL parser, written in Go☆11Jul 17, 2017Updated 9 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 formal moral framework coded in Haskell☆50Mar 2, 2015Updated 11 years ago
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆32Jul 29, 2024Updated 2 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- r1cs file format parser☆25Jul 13, 2026Updated last month
- Online casino backend built with Node.js☆16Apr 8, 2023Updated 3 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- ☆22Updated this week